TY  - BOOK
AU  - Leeuwen,Jan van
TI  - Handbook of theoretical computer science
SN  - 0-444-88075-5
U1  - 004 20
PY  - 1990///
CY  - Amsterdam, Oxford
PB  - Elsevier
KW  - Relational databases
KW  - Logic programming
KW  - Formal languages
KW  - Informática
KW  - Bases de datos relacionales
KW  - Programación lógica
KW  - Lenguajes formales
N1  - Bibliografía - Índices; Vol.A; Algorithms and complexity; Vol.B; Formal models and semantics; Contiene: Vol. A. Algorithms and complexity - Vol. B. Formal models and semantics
ER  -