( en | de | ru )

 

Disambiguation of "Diekert, Volker"

Author of the publication

copydeleteadd this publication to your clipboard
Reachability Games and Parity Games.

, and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 14-35. Springer, (2022)

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.

Volker Diekert

Volker Diekert

Heinz Diekert

Kerstin Diekert

Gabriele Diekert

 

Other publications of authors with the same name

Cyclic rewriting and conjugacy problems., , and . Groups Complexity Cryptology, 4 (2): 321-355 (2012)On the Synchronization of Traces., and . Math. Syst. Theory, 22 (3): 161-175 (1989)Solution sets for equations over free groups are EDT0L languages., , and . Int. J. Algebra Comput., 26 (5): 843-886 (2016)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)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)On confluent semi-commutations: decidability and complexity results, , and . Forschungsberichte, TU Munich, (1990)Logspace computations in graph products., and . J. Symb. Comput., (2016)