scientific article
From MaRDI portal
Publication:3696498
zbMath0576.68013MaRDI QIDQ3696498
David L. Detlefs, Randy Forgaard
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
An overview of LP, the Larch Prover ⋮ Rewriting with a nondeterministic choice operator ⋮ Termination of rewriting ⋮ Simplifying conditional term rewriting systems: Unification, termination and confluence ⋮ History and basic features of the critical-pair/completion procedure ⋮ Orienting rewrite rules with the Knuth-Bendix order. ⋮ On the recursive decomposition ordering with lexicographical status and other related orderings ⋮ Well rewrite orderings and well quasi-orderings ⋮ Linearizing well quasi-orders and bounding the length of bad sequences ⋮ Automating the Knuth Bendix ordering
This page was built for publication:
