scientific article
From MaRDI portal
Publication:3725541
zbMath0594.68037MaRDI QIDQ3725541
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
term rewriting systemKnuth-Bendix completion algorithmcrossed rulesstructural properties of rewrite rules which cause nontermination
Related Items
On finite representations of infinite sequences of terms ⋮ Divergence phenomena during completion ⋮ It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair ⋮ 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 ⋮ Chain properties of rule closures
This page was built for publication:
