Universität Stuttgart
OPUS - Online Publikationen der Universität Stuttgart
Auflistung nach Autor Lohrey, Markus
Anzeige der Treffer 1 bis 8 von 8
Erscheinungsdatum | Titel | Autor(en) |
1999 | Complexity results for confluence problems | Lohrey, Markus |
2003 | Computational and logical aspects of infinite monoids | Lohrey, Markus |
2001 | Existential and positive theories of equations in graph products | Diekert, Volker; Lohrey, Markus |
2005 | First order and counting theories of omega-automatic structures | Kuske, Dietrich; Lohrey, Markus |
2005 | Fixpoint logics on hierarchical structures | Göller, Stefan; Lohrey, Markus |
2006 | Infinite state model checking of propositional dynamic logics | Göller, Stefan; Lohrey, Markus |
2005 | Inverse monoids : decidability and complexity of algebraic questions | Lohrey, Markus; Ondrusch, Nicole |
2005 | Model checking hierarchical structures | Lohrey, Markus |