Author of the publication

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)

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)On some variants of the Ehrenfeucht conjecture.. Theor. Comput. Sci., (1986)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)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)More Than 1700 Years of Word Equations.. CAI, volume 9270 of Lecture Notes in Computer Science, page 22-28. Springer, (2015)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)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)Preface., , and . Theory Comput. Syst., 46 (1): 1 (2010)