The following pages link to (Q5190784):
Displaying 11 items.
- EMSO-logic and automata related to homogeneous flow event structures (Q1885039) (← links)
- An event-based fragment of first-order logic over intervals (Q2429992) (← links)
- Event domains, stable functions and proof-nets (Q2864146) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- (Q3356298) (← links)
- (Q3724336) (← links)
- (Q3832541) (← links)
- Constraint logic programming for reasoning about discrete event processes (Q3988797) (← links)
- (Q4222864) (← links)
- (Q4517038) (← links)
- (Q4694252) (← links)