@BOOK{ Book!D - 100998026,
AUTHOR = "/ edited by Maurice Nivat, Andreas Podelski",
TITLE = "Tree automata and languages",
LIBRARY= "كتابخانه پردیس علوم (دانشگاه تهران)",
SUBJECT = "Sequential machine theory,Trees (Graph theory),Programming languages (Electronic computers)",
URL = "/book/100998026/Tree-automata-and-languages/"}