Pages that link to "Item:Q593789"
From MaRDI portal
The following pages link to Orderings for term-rewriting systems (Q593789):
Displayed 6 items.
- Higher-order interpretations and program complexity (Q276254) (← links)
- Paramodulation with non-monotonic orderings and simplification (Q352977) (← links)
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- On multiset ordering (Q502679) (← links)
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Quasi-interpretations. A way to control resources (Q541228) (← links)