Interpretability and tree automata: a simple way to solve algorithmic problems on graphs closely related to trees
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1992 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 209892 |
| Erscheinungsvermerk | In: Tree automata and languages. Ed.: M. Nivat. Amsterdam 1992. S. 83-114. |