Conditional Seme-Thue Systems for Presenting Monoids

Thomas Deiß. Conditional Seme-Thue Systems for Presenting Monoids. In Alain Finkel, Matthias Jantzen, editors, STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings. Volume 577 of Lecture Notes in Computer Science, pages 557-565, Springer, 1992.

Abstract

Abstract is missing.

  翻译: