The following pages link to (Q4036585):
Displayed 10 items.
- Redundancy criteria for constrained completion (Q673620) (← links)
- A total AC-compatible ordering based on RPO (Q673623) (← links)
- Simple LPO constraint solving methods (Q685481) (← links)
- A new method for undecidability proofs of first order theories (Q1209623) (← links)
- Abstract data type systems (Q1391729) (← links)
- The first-order theory of lexicographic path orderings is undecidable (Q1392274) (← links)
- Practical algorithms for deciding path ordering constraint satisfaction. (Q1400710) (← links)
- Orienting rewrite rules with the Knuth-Bendix order. (Q1401932) (← links)
- Stratified resolution (Q1404977) (← links)
- Ordinals. I: Basic notions (Q1817060) (← links)