Automatic Monoids Versus Monoids with Finite Convergent Presentations

Friedrich Otto, Andrea Sattler-Klein, Klaus Madlener. Automatic Monoids Versus Monoids with Finite Convergent Presentations. In Tobias Nipkow, editor, Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings. Volume 1379 of Lecture Notes in Computer Science, pages 32-46, Springer, 1998. [doi]

Authors

Friedrich Otto

This author has not been identified. Look up 'Friedrich Otto' in Google

Andrea Sattler-Klein

This author has not been identified. Look up 'Andrea Sattler-Klein' in Google

Klaus Madlener

This author has not been identified. Look up 'Klaus Madlener' in Google