Pages that link to "Item:Q3868730"
From MaRDI portal
The following pages link to Proving termination with multiset orderings (Q3868730):
Displayed 9 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Paramodulation with non-monotonic orderings and simplification (Q352977) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Intermutation (Q421481) (← links)
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Proof pearl: a formal proof of Higman's lemma in ACL2 (Q438550) (← links)
- On multiset ordering (Q502679) (← links)
- Hypergraph polytopes (Q554398) (← links)