scientific article
From MaRDI portal
zbMath0576.68013MaRDI QIDQ3696498
David L. Detlefs, Randy Forgaard
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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