scientific article; zbMATH DE number 3850464

MaRDI QIDQ3319767zbMATH OpenFDO

Authors Deepak Kapur, Paliath Narendran

Publication date 1983

zbMATH Keywords

Thue systemsKnuth-Bendix procedureChurch-Rosser Thue system

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03) Abstract data types; algebraic specification (68Q65)

Recommendations

• The Knuth-Bendix Completion Procedure and Thue Systems
• scientific article; zbMATH DE number 671957
• scientific article; zbMATH DE number 4076598
• On reduced thue systems
• scientific article; zbMATH DE number 4030960

Cited in

(15)

• Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems
• On term rewriting systems in unary signature
• An early completion algorithm: Thue's 1914 paper on the transformation of symbol sequences
• The Knuth-Bendix Completion Procedure and Thue Systems
• On reduced thue systems
• Abstract reduction systems and idea of Knuth-Bendix completion algorithm
• A finite Thue system with decidable word problem and without equivalent finite canonical system
• scientific article; zbMATH DE number 671957 (Why is no real title available?)
• Boolean unification - the story so far
• Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
• scientific article; zbMATH DE number 4030960 (Why is no real title available?)
• It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair
• A new lower bound construction for commutative Thue systems with applications
• The Church-Rosser property and special Thue systems
• On the regular equivalence problem for regular Thue systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3319767)