Tree Automata with Global Constraints for Infinite Trees

Saarbrücken/Wadern, Germany / Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2019) [Contribution to a book, Contribution to a conference proceedings]

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


Selected Authors

Landwehr, Patrick
Löding, Christof