The following pages link to (Q4329239):
Displayed 6 items.
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)