Simple LPO constraint solving methods
From MaRDI portal
Publication:685481
DOI10.1016/0020-0190(93)90226-YzbMath0781.68102MaRDI QIDQ685481
Publication date: 17 October 1993
Published in: Information Processing Letters (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
More problems in rewriting ⋮ Solving simplification ordering constraints ⋮ The first-order theory of lexicographic path orderings is undecidable ⋮ Practical algorithms for deciding path ordering constraint satisfaction. ⋮ Orienting rewrite rules with the Knuth-Bendix order. ⋮ Stratified resolution ⋮ Ordered tableaux: Extensions and applications ⋮ Decision Procedures for Automating Termination Proofs ⋮ Ordered chaining for total orderings ⋮ What you always wanted to know about rigid E-unification
Cites Work
This page was built for publication: Simple LPO constraint solving methods
