12 citations · 64 across the 32 of their papers we have counts for
Showing 2009Show all
3 papers · 1 filter
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.…
math.GR2009★ 7 cited
Geodesic rewriting systems and pregroups
Volker Diekert, Andrew J. Duncan, Alexei Miasnikov
In this paper we study rewriting systems for groups and monoids, focusing on situations where finite convergent systems may be difficult to find or do not exist. We consider system…
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,…