Pages that link to "Item:Q671639"
From MaRDI portal
The following pages link to Interval logics and their decision procedures. I: An interval logic (Q671639):
Displaying 4 items.
- Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)
- Distributed processes and location failures (Q5958774) (← links)
