Pages that link to "Item:Q5055850"
From MaRDI portal
The following pages link to Superposition theorem proving for abelian groups represented as integer modules (Q5055850):
Displaying 4 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
