The following pages link to (Q4733384):
Displayed 9 items.
- An initial study of time complexity in infinite-domain constraint satisfaction (Q514144) (← links)
- A logic of intentions and beliefs (Q689079) (← links)
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Automated analysis of mutual exclusion algorithms using CCS (Q911263) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- (Q2844928) (← links)
- (Q5232903) (← links)