Patrick Landwehr

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Tree automata with constraints on infinite trees.

[BibT_eX]

[DOI]

PhD thesis, 2021

2020

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

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2020

2019

Tree Automata with Global Constraints for Infinite Trees.

[BibT_eX]

[DOI]

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

2017

N-Memory Automata over the Alphabet N.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2017