The following pages link to Leviathan (Q5975115):
Displayed 6 items.
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) (Q2029608) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- SAT-based explicit LTL reasoning and its application to satisfiability checking (Q2335900) (← links)
- A genetically modified Hoare logic (Q2422014) (← links)
- (Q3384170) (← links)
- (Q5015285) (← links)