Pages that link to "Item:Q1340508"
From MaRDI portal
The following pages link to Automated deduction with associative-commutative operators (Q1340508):
Displaying 9 items.
- A general refutational completeness result for an inference procedure based on associative-commutative unification (Q1209615) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← 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 Deducibility Constraints (Q3590970) (← links)
- An Assertional Language for the Verification of Systems Parametric in Several Dimensions (Q4921503) (← links)
- Associative-commutative deduction with constraints (Q5210795) (← links)
- AC-superposition with constraints: No AC-unifiers needed (Q5210796) (← links)
- Positive deduction modulo regular theories (Q6560184) (← links)