Searching for authors named "Markus Lohrey" – sorted by Relevance.
-
Safe Realizability of High-Level Message Sequence Charts
- Safe realizability of high-level message sequence charts ? Markus Lohrey Institut fur Informatik
- Cited by 13 (0 self) – Add To MetaCart
-
On the Parallel Complexity of Tree Automata
- On the Parallel Complexity of Tree Automata Markus Lohrey Universitat Stuttgart, Institut f
- Cited by 12 (3 self) – Add To MetaCart
-
Confluence Problems for Trace Rewriting Systems
- Con uence Problems for Trace Rewriting Systems Markus Lohrey Universitat Stuttgart, Institut f
- Cited by 1 (1 self) – Add To MetaCart
-
Term Rewriting as Interaction Nets Plus Hyperedge Replacement
- Term Rewriting as Interaction Nets Plus Hyperedge Replacement Markus Lohrey Grundlagen der
- Cited by 1 (0 self) – Add To MetaCart
-
Word Problems for 2-Homogeneous Monoids and Symmetric Logspace
- Word Problems for 2-Homogeneous Monoids and Symmetric Logspace Markus Lohrey Universit
- Cited by 3 (1 self) – Add To MetaCart
-
NP-completeness results concerning the transformation of logic programs into attribute grammars
- Markus Lohrey Grundlagen der Programmierung, Institut fur Softwaretechnik I, Fakultat Informatik
- Cited by 2 (0 self) – Add To MetaCart
-
Automatic Structures of Bounded Degree
- Automatic Structures of Bounded Degree Markus Lohrey Institut fur Formale Methoden der Informatik
- Cited by 6 (2 self) – Add To MetaCart
-
Word Problems and Confluence Problems for Restricted Semi-Thue Systems
- Word Problems and Con uence Problems for Restricted Semi-Thue Systems Markus Lohrey Universit
- Cited by 4 (1 self) – Add To MetaCart
-
Word problems and membership problems on compressed words
- WORD PROBLEMS AND MEMBERSHIP PROBLEMS ON COMPRESSED WORDS MARKUS LOHREY ∗ Abstract. We consider a
- Cited by 2 (2 self) – Add To MetaCart
-
On the confluence of trace rewriting systems
- On the Con uence of Trace Rewriting Systems Markus Lohrey Universitat Stuttgart, Institut f
- Cited by 1 (1 self) – Add To MetaCart

