scientific article; zbMATH DE number 3956435

zbMATH Open0594.68037MaRDI QIDQ3725541FDOQ3725541

Authors: Miki Hermann, Igor Prívara 

Publication date: 1986

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

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

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)

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
• Title not available (Why is that?)
• A trivial algorithm whose analysis is not: a continuation
• Title not available (Why is that?)
• 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)