Person

Patrick Landwehr

M. Sc. RWTH
Nicht verfügbar
Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)

Adresse

Gebäude: Informatikzentrum Hörn - E1

Raum: 4117b

Ahornstr. 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21708
Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Forschungsinteressen

Logik, Automatentheorie, unendliche Bäume

 

Publikationen

Titel Autor*innen Erschienen in
Tree Automata with Grobal Constraints for Infinite Trees

Patrick Landwehr, Christof Löding

Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)
Projection for Büchi Tree Automata with Constraints between Siblings

Patrick Landwehr, Christof Löding

Proceedings of the 22nd International Conference on Developments in Language Theory (DLT 2018)

N-Memory Automata over the Alphabet N Benedikt Brütsch,
Patrick Landwehr,
Wolfgang Thomas

Proceedings of the 11th International Conference on Language and Automata Theory and Applications (LATA 2017)