Recent talks of Markus Lohrey
Efficient computation in groups via compression
, International Conference on Semigroups 2009
Rational sets in groups
, AFLAS 2008
Application of verification techniques in inverse monoid theory
, MFCS 2005
Model-checking hierarchical graphs
, LICS 2005
Theories of Automatic Structures and their Complexity
, WASL 2004
Decidability and complexity in automatic monoids
, DLT 2004
Word problems on compressed words
, ICALP 2004
Markus Lohrey
Zimmer:
04.37
Telefon:
(0341-)97-32201
E-Mail:
lohrey@informatik.uni-leipzig.de