Pages that link to "Item:Q2892732"
From MaRDI portal
The following pages link to Trace Spaces: An Efficient New Technique for State-Space Reduction (Q2892732):
Displayed 5 items.
- A geometric view of partial order reduction (Q265807) (← links)
- Simplicial models for trace spaces. II: General higher dimensional automata (Q441103) (← links)
- Execution spaces for simple higher dimensional automata (Q714637) (← links)
- Iterated chromatic subdivisions are collapsible (Q891921) (← links)
- Natural Homology (Q3449474) (← links)