Tree Automata with Global Constraints for Infinite Trees

Saarbrücken/Wadern, Germany / Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

36th International Symposium on Theoretical Aspects of Computer Science : STACS 2019, March 13-16, 2019, Berlin, Germany / edited by Rolf Niedermeier, Christophe Paul
Seite(n): 47, [1]-15

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Landwehr, Patrick
Löding, Christof

Identifikationsnummern