Author of the publication

Solution sets for equations over free groups are EDT0L languages.

, , and . Int. J. Algebra Comput., 26 (5): 843-886 (2016)

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

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)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)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)Solution sets for equations over free groups are EDT0L languages., , and . Int. J. Algebra Comput., 26 (5): 843-886 (2016)On some variants of the Ehrenfeucht conjecture.. Theor. Comput. Sci., (1986)Commutative monoids have complete presentations by free (non-commutative) monoids.. Theor. Comput. Sci., (1986)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)Finding all solutions of equations in free groups and monoids with involution., , and . Inf. Comput., (2016)Quadratic Word Equations., and . Jewels are Forever, page 314-326. Springer, (1999)