scientific article

zbMath0583.68005MaRDI QIDQ3706484

H. Perdrix

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

unificationconfluenceterminationterm rewriting systemsequational theoriesChurch-Rosser propertynon-resolution theorem proving

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items

Parameter-preserving data type specifications, The Church-Rosser property for ground term-rewriting systems is decidable, History and basic features of the critical-pair/completion procedure