scientific article
From MaRDI portal
Publication:3805889
zbMath0657.68026MaRDI QIDQ3805889
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
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 ⋮ A rewriting strategy to verify observational congruence ⋮ A divergence critic ⋮ Schematization of infinite sets of rewrite rules generated by divergent completion processes
This page was built for publication:
