Pages that link to "Item:Q2324599"
From MaRDI portal
The following pages link to Labeled homology of higher-dimensional automata (Q2324599):
Displaying 6 items.
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type (Q851539) (← links)
- Weak equivalence of higher-dimensional automata (Q5038191) (← links)
- (Q5232910) (← links)
- On the homology language of HDA models of transition systems (Q6645910) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)
