TY - BOOK A1 - / edited by Maurice Nivat, Andreas Podelski TI - Tree automata and languages PB - كتابخانه پردیس علوم (دانشگاه تهران) SN - 100998026 UR /book/100998026/Tree-automata-and-languages/ ER -