Pages that link to "Item:Q1596540"
From MaRDI portal
The following pages link to A resolution principle for a logic with restricted quantifiers (Q1596540):
Displaying 13 items.
- On the complexity of Boolean unification (Q293360) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Combination of constraint solvers for free and quasi-free structures (Q1127338) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Refutational theorem proving for hierarchic first-order theories (Q1328182) (← links)
- Theorem proving modulo (Q1431339) (← links)
- A typed resolution principle for deduction with conditional typing theory (Q1855225) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- Combination of constraint solving techniques: An algebraic point of view (Q5055842) (← links)
- A practical integration of first-order reasoning and decision procedures (Q5234694) (← links)
