Patrick Landwehr

According to our database, Patrick Landwehr authored at least 4 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Tree automata with constraints on infinite trees.

Patrick Landwehr

PhD thesis, 2021

2019

Tree Automata with Global Constraints for Infinite Trees.

Patrick Landwehr, Christof Löding

Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019

2018

Projection for Büchi Tree Automata with Constraints Between Siblings.

Patrick Landwehr, Christof Löding

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

2017

N-Memory Automata over the Alphabet N.

Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas

Proceedings of the Language and Automata Theory and Applications, 2017