Pages that link to "Item:Q293311"
From MaRDI portal
The following pages link to Extending reduction orderings to ACU-compatible reduction orderings (Q293311):
Displaying 5 items.
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← links)
- AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- Completion for multiple reduction orderings (Q5055819) (← links)
- ALASCA: reasoning in quantified linear arithmetic (Q6535381) (← links)