One-Rule Trace-Rewriting Systems and Confluence

Celia Wrathall, Volker Diekert, Friedrich Otto. One-Rule Trace-Rewriting Systems and Confluence. In Ivan M. Havel, Václav Koubek, editors, Mathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS 92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings. Volume 629 of Lecture Notes in Computer Science, pages 511-521, Springer, 1992.

Abstract

Abstract is missing.