Pages that link to "Item:Q1908342"
From MaRDI portal
The following pages link to On the feasibility of checking temporal integrity constraints (Q1908342):
Displaying 9 items.
- First-order temporal verification in practice (Q851137) (← links)
- The ins and outs of first-order runtime verification (Q888417) (← links)
- Theoretical foundations of handling large substitution sets in temporal integrity monitoring (Q914364) (← 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)