Pages that link to "Item:Q2996155"
From MaRDI portal
The following pages link to Computational Space Efficiency and Minimal Model Generation for Guarded Formulae (Q2996155):
Displaying 6 items.
- A new methodology for developing deduction methods (Q1037405) (← links)
- Hyperresolution for guarded formulae (Q1404983) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- (Q2767089) (← links)
- A tableau calculus for minimal modal model generation (Q2825415) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)