Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
languages » language

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: ...: Object-Oriented Database Management Systems -- ROL2: A Real Deductive Object-Oriented Database Language...

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...Order-Sensitive View Maintenance of Materialized XQuery Views -- Automatic Generation of XQuery...