Pages that link to "Item:Q5191106"
From MaRDI portal
The following pages link to A Refined Resolution Calculus for CTL (Q5191106):
Displayed 5 items.
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- A Refined Resolution Calculus for CTL (Q5191106) (← links)
- A resolution calculus for the branching-time temporal logic CTL (Q5410337) (← links)
- Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992) (← links)