The following pages link to (Q4485146):
Displaying 6 items.
- A hierarchical and modular control architecture for sequential behaviours (Q2348360) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
- A temporal splitting theorem for chronological spaces (Q2677175) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- (Q4373590) (← links)
- On the Order Structure of Time Projection (Q4408665) (← links)