1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.GR2009★ 1 cited
On Computing Geodesics in Baumslag-Solitar Groups
Volker Diekert, Jürn Laun
We introduce the peak normal form of elements of the Baumslag-Solitar groups BS(p,q). This normal form is very close to the length-lexicographical normal form, but more symmetric.…
cs.FL2009
Fragments of first-order logic over infinite words
Volker Diekert, Manfred Kufleitner
We give topological and algebraic characterizations as well as language theoretic descriptions of the following subclasses of first-order logic FO[<] for omega-languages: Sigma_2,…
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…