Author of the publication

Equations over Free Inverse Monoids with Idempotent Variables.

, , , and . CSR, volume 9139 of Lecture Notes in Computer Science, page 173-188. Springer, (2015)

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

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)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)On some variants of the Ehrenfeucht conjecture.. Theor. Comput. Sci., (1986)Solution sets for equations over free groups are EDT0L languages., , and . Int. J. Algebra Comput., 26 (5): 843-886 (2016)Quadratic Word Equations., and . Jewels are Forever, page 314-326. Springer, (1999)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)Recognizable Complex Trace Languages., , and . MFCS, volume 520 of Lecture Notes in Computer Science, page 131-140. Springer, (1991)