Pages that link to "Item:Q1864899"

The following pages link to Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899):

Displaying 2 items.

• Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
• Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)