BibSonomy :: author  ::

bookmarks

publications

(56)

• Automatic structures of bounded degree revisited
  Dietrich Kuske and Markus Lohrey CoRR abs/0810.4998 (2008)
  to dblp by dblp on 2008-11-02 00:00:00
  | URL | BibTeX  
• Hamiltonicity of automatic graphs.
  Dietrich Kuske and Markus Lohrey IFIP TCS 445-459 (2008)
  to dblp by dblp on 2008-09-15 00:00:00
  | URL | BibTeX  
• Algorithmic Problems on Inverse Monoids over Virtually Free Groups.
  Volker Diekert and Nicole Ondrusch and Markus Lohrey IJAC 18 181-208 (2008)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• Word Equations over Graph Products.
  Volker Diekert and Markus Lohrey IJAC 18 493-533 (2008)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• Rational Subsets in HNN-Extensions and Amalgamated Products.
  Markus Lohrey and Géraud Sénizergues IJAC 18 111-163 (2008)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• Application of verification techniques to inverse monoids.
  Markus Lohrey Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Tree Automata Make Ordinal Theory Easy.
  Thierry Cachat Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• PDL with Intersection and Converse is 2EXP-complete.
  Stefan Göller and Markus Lohrey and Carsten Lutz Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp and 1 other person on 2008-05-15 00:00:00
  | URL | BibTeX  
• 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures.
  Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.
  Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX