Pages that link to "Item:Q6488530"
From MaRDI portal
The following pages link to A resolution principle for clauses with constraints (Q6488530):
Displaying 12 items.
- Combination techniques and decision problems for disunification (Q673624) (← links)
- Recognizing unnecessary clauses in resolution based systems (Q688549) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- Theorem proving modulo (Q1431339) (← links)
- A resolution principle for a logic with restricted quantifiers (Q1596540) (← links)
- (Q4503912) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- Combination techniques and decision problems for disunification (Q5055803) (← links)
- Automated Deduction – CADE-19 (Q5900731) (← links)