TY  - BOOK
AU  - Nivat, Maurice. Ed.
AU  - Podelski, Andreas. Ed.
TI  - Tree automata and languages (SCSAI - Vol. 10)
SN  - 0444890262
CY  - Netherlands
KW  - Sequential Machine Theory
KW  - Trees (Graph Theory)
KW  - Programming Languages (Electronic Computers)
ER  -