7 results on '"Lohrey, Markus"'
Search Results
2. Application of verification techniques to inverse monoids
3. Model-checking hierarchical structures
4. Inverse monoids: Decidability and complexity of algebraic questions
5. WORD PROBLEMS AND MEMBERSHIP PROBLEMS ON COMPRESSED WORDS.
6. DECIDABILITY AND COMPLEXITY IN AUTOMATIC MONOIDS.
7. Realizability of high-level message sequence charts: closing the gaps
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.