scientific article
From MaRDI portal
Publication:3696501
zbMath0576.68016MaRDI QIDQ3696501
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Termination of rewriting ⋮ History and basic features of the critical-pair/completion procedure ⋮ Automating the Knuth Bendix ordering ⋮ Termination orderings for associative-commutative rewriting systems ⋮ Proving termination of (conditional) rewrite systems. A semantic approach
This page was built for publication:
