Completion of Globally Finite Term Rewriting Systems for Inductive Proofs

Richard Göbel. Completion of Globally Finite Term Rewriting Systems for Inductive Proofs. In Herbert Stoyan, editor, GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985, Proceedings. Volume 118 of Informatik-Fachberichte, pages 101-110, Springer, 1985.

Abstract

Abstract is missing.