scientific article; zbMATH DE number 3850464

zbMATH Open0535.68012MaRDI QIDQ3319767FDOQ3319767

Authors: Deepak Kapur, Paliath Narendran 

Publication date: 1983

Title of this publication is not available (Why is that?)

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

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)

Cited In (15)

• An early completion algorithm: Thue's 1914 paper on the transformation of symbol sequences
• On term rewriting systems in unary signature
• The Knuth-Bendix Completion Procedure and Thue Systems
• On reduced thue systems
• Abstract reduction systems and idea of Knuth-Bendix completion algorithm
• Title not available (Why is that?)
• A finite Thue system with decidable word problem and without equivalent finite canonical system
• Boolean unification - the story so far
• Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
• Title not available (Why is that?)
• 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
• Groups Presented by Finite Two-Monadic Church-Rosser 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)