scientific article; zbMATH DE number 3956435

MaRDI QIDQ3725541zbMATH OpenFDO

Authors Miki Hermann, Igor Prívara

Publication date 1986

zbMATH Keywords

crossed rulesKnuth-Bendix completion algorithmstructural properties of rewrite rules which cause nonterminationterm rewriting system

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4047064
• Solving divergence in Knuth--Bendix completion by enriching signatures
• Knuth-Bendix completion for non-symmetric transitive relations
• scientific article; zbMATH DE number 4043234
• scientific article; zbMATH DE number 4076598

Cited in

(11)

• A trivial algorithm whose analysis is not: a continuation
• When is an extension of a specification consistent? Decidable and undecidable cases
• Schematization of infinite sets of rewrite rules generated by divergent completion processes
• scientific article; zbMATH DE number 4047064 (Why is no real title available?)
• scientific article; zbMATH DE number 4080964 (Why is no real title available?)
• scientific article; zbMATH DE number 935186 (Why is no real title available?)
• Divergence phenomena during completion
• Chain properties of rule closures
• It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair
• On finite representations of infinite sequences of terms
• Chain properties of rule closures

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 Q3725541)