The following pages link to (Q6488530):
Displaying 6 items.
- Combination techniques and decision problems for disunification (Q673624) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- Combination techniques and decision problems for disunification (Q5055803) (← links)
