Pages that link to "Item:Q3568221"
From MaRDI portal
The following pages link to Implementing a fair monodic temporal logic prover (Q3568221):
Displayed 9 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Deductive verification of simple foraging robotic behaviours (Q3653523) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- (Q5015285) (← links)
- Fair Derivations in Monodic Temporal Reasoning (Q5191107) (← links)