Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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üftBibliothek

Verbundene Forschungsprojekte


Verknüpfte Personen


Beteiligte Einrichtungen