Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 331 von 510


Link zu diesem Datensatz	https://d-nb.info/1162340940
Titel	Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers / Christof Löding, Sarah Winter
Person(en)	Löding, Christof (Verfasser) Winter, Sarah (Verfasser)
Verlag	Aachen : Universitätsbibliothek der RWTH Aachen
Zeitliche Einordnung	Erscheinungsdatum: 2016
Umfang/Format	Online-Ressource
Persistent Identifier	URN: urn:nbn:de:101:1-2018070606084258672011 DOI: 10.18154/RWTH-CONV-211028
URL	http://publications.rwth-aachen.de/record/674743 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Anmerkungen	In: 41st International Symposium on Mathematical Foundations of Computer Science , Kraków , Poland , MFCS 2016 In: 10.4230/LIPIcs.MFCS.2016.65
DDC-Notation	005.13 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 331 von 510

Korrekturanfrage