Synthesis of deterministic top-down tree transducers from automatic tree relations

Amsterdam / Elsevier (2016, 2017) [Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]

Information and computation
Band: 253
Ausgabe: Part 2
Seite(n): 336-354

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Löding, Christof
Winter, Sarah

Identifikationsnummern