Using String-Rewriting for Solving the Word Problem for Finitely Presented Groups.

Klaus Madlener Friedrich Otto

Published in: Inf. Process. Lett. (1987)

Keyphrases

word problems
virtual environment