Pages that link to "Item:Q1019149"
From MaRDI portal
The following pages link to Trace spaces in a pre-cubical complex (Q1019149):
Displaying 19 items.
- A cubical model for path spaces in d-simplicial complexes (Q411814) (← links)
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- Spaces of directed paths on pre-cubical sets (Q681330) (← links)
- Some collapsing operations for 2-dimensional precubical sets (Q691262) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- Simplicial models of trace spaces (Q986682) (← links)
- Directed homology theories and Eilenberg-Steenrod axioms (Q1701172) (← links)
- Connectivity of spaces of directed paths in geometric models for concurrent computation (Q2096387) (← links)
- Homology of spaces of directed paths on Euclidean cubical complexes (Q2255529) (← links)
- Directed topological complexity (Q2304014) (← links)
- Spaces of directed paths on pre-cubical sets II (Q2304017) (← links)
- Pair component categories for directed spaces (Q2304019) (← links)
- Stable components of directed spaces (Q2423830) (← links)
- Future Path-components in Directed Topology (Q3178262) (← links)
- Inessential directed maps and directed homotopy equivalences (Q5001567) (← links)
- Configuration spaces and directed paths on the final precubical set (Q5074060) (← links)
- Strictifying and taming directed paths in Higher Dimensional Automata (Q5156774) (← links)
- On execution spaces of PV-programs (Q5964017) (← links)
- Comparing cubical and globular directed paths (Q6144989) (← links)
