12 citations · 64 across the 32 of their papers we have counts for
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2012★ 2 cited
QuickHeapsort: Modifications and improved analysis
Volker Diekert, Armin Weiss
We present a new analysis for QuickHeapsort splitting it into the analysis of the partition-phases and the analysis of the heap-phases. This enables us to consider samples of non-c…
cs.DS2001
The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete
Volker Diekert, Claudio Gutierrez, Christian Hagenah
It is known that the existential theory of equations in free groups is decidable. This is a famous result of Makanin. On the other hand it has been shown that the scheme of his alg…