Pages that link to "Item:Q2324599"
From MaRDI portal
The following pages link to Labeled homology of higher-dimensional automata (Q2324599):
Displaying 10 items.
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type (Q851539) (← links)
- Combinatorics of labelling in higher-dimensional automata (Q960860) (← links)
- Weak morphisms of higher dimensional automata (Q2449047) (← links)
- Combinatorics of branchings in higher dimensional automata (Q2724148) (← 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)