A Noetherian Rewrite System for Idempotent Semigroups

Jörg H. Siekmann, Peter Szabó. A Noetherian Rewrite System for Idempotent Semigroups. In Jörg H. Siekmann, editor, GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings. Volume 47 of Informatik-Fachberichte, pages 235-245, Springer, 1981.

Abstract

Abstract is missing.