Special Issue on Advances in First-order Theorem Proving - Theorem Proving Techniques for View Deletion in Databases
Journal of symbolic computation. Bd. 29. H. 2. Amsterdam: Elsevier 2000 S. 119 - 148
Erscheinungsjahr: 2000
ISBN/ISSN: 0747-7171
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Aravindan, C. (Autor)
Baumgartner, P. (Autor)