Pages that link to "Item:Q4943548"
From MaRDI portal
The following pages link to Topologies, Continuity and Bisimulations (Q4943548):
Displaying 6 items.
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
- Bounds on sizes of finite bisimulations of Pfaffian dynamical systems (Q1015374) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- (Q5079750) (← links)
