Pages that link to "Item:Q1209615"
From MaRDI portal
The following pages link to A general refutational completeness result for an inference procedure based on associative-commutative unification (Q1209615):
Displaying 4 items.
- Automated deduction with associative-commutative operators (Q1340508) (← 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)
- Associative-commutative deduction with constraints (Q5210795) (← links)