Logspace Computations in Coxeter Groups and Graph Groups

Volker Diekert, Jonathan Kausch, Markus Lohrey

Computing normal forms in groups (or monoids) is in general harder than solving the word problem (equality testing). However, normal form computation has a much wider range of appl…