Equivalence of Finite-Valued Tree Transducers Is Decidable
Mathematical systems theory. Bd. 27. H. 4. New York, NY: Springer 1994 S. 285 - 346
Erscheinungsjahr: 1994
ISBN/ISSN: 0025-5661
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Mathematical systems theory. Bd. 27. H. 4. New York, NY: Springer 1994 S. 285 - 346
Erscheinungsjahr: 1994
ISBN/ISSN: 0025-5661
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |