2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.GT2022
Reachability Games and Parity Games
Volker Diekert, Manfred Kufleitner
Parity games are positionally determined. This is a fundamental and classical result. In 2010, Calude et al. showed a breakthrough result for finite parity games: the winning regio…
cs.LO2014
Finding All Solutions of Equations in Free Groups and Monoids with Involution
Volker Diekert, Artur Jeż, Wojciech Plandowski
The aim of this paper is to present a PSPACE algorithm which yields a finite graph of exponential size and which describes the set of all solutions of equations in free groups as w…
cs.FL2012★ 2 cited
Regular Languages are Church-Rosser Congruential
Volker Diekert, Manfred Kufleitner, Klaus Reinhardt +1
This paper proves a long standing conjecture in formal language theory. It shows that all regular languages are Church-Rosser congruential. The class of Church-Rosser congruential…