The following pages link to (Q4264717):
Displayed 9 items.
- Programming in metric temporal logic (Q1128978) (← links)
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- Modeling data-intensive reactive systems with relational transition systems (Q1901696) (← links)
- MetateM: An introduction (Q1904643) (← links)
- Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic (Q4236063) (← links)
- Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)
- A resolution-based proof method for temporal logics of knowledge and belief (Q4632296) (← links)
- Search strategies for resolution in temporal logics (Q4647556) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)