The following pages link to (Q5715695):
Displaying 16 items.
- Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
- First-order temporal verification in practice (Q851137) (← links)
- On dynamic topological and metric logics (Q865049) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking (Q1783933) (← links)
- Dynamic branching in qualitative constraint-based reasoning via counting local models (Q2051804) (← links)
- On repairing and querying inconsistent probabilistic spatio-temporal databases (Q2406905) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method (Q3455761) (← links)
- Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
- Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Q5154742) (← links)
- An Automata-based Approach for CTL⋆ With Constraints (Q5179062) (← links)
- A spatial logic with time and quantifiers (Q6546610) (← links)
