Pages that link to "Item:Q1037405"
From MaRDI portal
The following pages link to A new methodology for developing deduction methods (Q1037405):
Displaying 8 items.
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Resolution in modal, description and hybrid logic (Q2772883) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- A new approach to derivation (Q4779993) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)