 |
Veröffentlichungen / Publications
2003
A Remark about Quadratic Trace Equations
Volker Diekert, Manfred Kufleitner
DLT 2002, 59-66, LNCS 2450, 2003.
ps File
(© Springer-Verlag).
Word equations over graph products
Volker Diekert, Markus Lohrey
FSTTCS 2003, LNCS 2914, 156-167
ps File
(© Springer-Verlag).
Realizability of high-level message sequence charts: closing the gaps
Markus Lohrey
Theoretical Computer Science 309(1-3), 529-554, 2003
pdf File
(© Elsevier).
Automatic structures of bounded degree
Markus Lohrey
LPAR 2003, LNAI 2850, S. 344-358, 2003.
ps.
File
(© Springer-Verlag).
Decidable theories of Cayley-graphs
Dietrich Kuske, Markus Lohrey
STACS 2003, LNCS 2607, 463-474, 2003.
ps.
File
(© Springer-Verlag).
Element Distinctness on One-Tape Turing Machines
Omer Berkman, Amir M. Ben-Amram, Holger Petersen
Acta Informatica, Volume 40, 81--94, 2003.
A Note on Rebound Turing Machines
Katsushi Inoue, Akira Ito, Takashi Kamiura, Holger Petersen, Lan Zhang
Technical Report of IEICE, COMP2003-27, 25--32, 2003.
|
|
