Author of the publication

STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings

, and (Eds.) volume 3404 of Lecture Notes in Computer Science, Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Solution sets for equations over free groups are EDT0L languages., , and . Int. J. Algebra Comput., 26 (5): 843-886 (2016)More Than 1700 Years of Word Equations.. CAI, volume 9270 of Lecture Notes in Computer Science, page 22-28. Springer, (2015)An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces., and . CSL, volume 1683 of Lecture Notes in Computer Science, page 188-203. Springer, (1999)A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract)., and . ICALP, volume 944 of Lecture Notes in Computer Science, page 15-26. Springer, (1995)Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions., and . WORDS, volume 10432 of Lecture Notes in Computer Science, page 6-16. Springer, (2017)On some variants of the Ehrenfeucht conjecture.. Theor. Comput. Sci., (1986)Quadratic Word Equations., and . Jewels are Forever, page 314-326. Springer, (1999)Commutative monoids have complete presentations by free (non-commutative) monoids.. Theor. Comput. Sci., (1986)Finding all solutions of equations in free groups and monoids with involution., , and . Inf. Comput., (2016)Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets., and . LPAR, volume 2250 of Lecture Notes in Computer Science, page 55-69. Springer, (2001)