The Theory of Ground Rewrite Systems is Decidable

Max Dauchet, Sophie Tison. The Theory of Ground Rewrite Systems is Decidable. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 242-248, IEEE Computer Society, 1990.

Abstract

Abstract is missing.