Publication:3696498
From MaRDI portal
zbMath0576.68013MaRDI QIDQ3696498
David L. Detlefs, Randy Forgaard
Publication date: 1985
68Q65: Abstract data types; algebraic specification
Related Items
An overview of LP, the Larch Prover, Linearizing well quasi-orders and bounding the length of bad sequences, Automating the Knuth Bendix ordering, On the recursive decomposition ordering with lexicographical status and other related orderings, 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, Well rewrite orderings and well quasi-orderings, Orienting rewrite rules with the Knuth-Bendix order.