scientific article; zbMATH DE number 3956435

MaRDI QIDQ3725541zbMATH OpenFDO

Authors Miki Hermann, Igor Prívara

Publication date 1986

zbMATH Keywords

term rewriting systemKnuth-Bendix completion algorithmcrossed rulesstructural properties of rewrite rules which cause nontermination

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

(10)

• On finite representations of infinite sequences of terms
• Chain properties of rule closures
• 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 4080964 (Why is no real title available?)
• A trivial algorithm whose analysis is not: a continuation
• scientific article; zbMATH DE number 4047064 (Why is no real title available?)
• It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair
• Chain properties of rule closures
• Divergence phenomena during completion

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)