Pages that link to "Item:Q1908342"
From MaRDI portal
The following pages link to On the feasibility of checking temporal integrity constraints (Q1908342):
Displaying 8 items.
- First-order temporal verification in practice (Q851137) (← links)
- The ins and outs of first-order runtime verification (Q888417) (← links)
- A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Axiomatizing the monodic fragment of first-order temporal logic (Q1849866) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)