Pages that link to "Item:Q1314399"
From MaRDI portal
The following pages link to Finite labelling problem in event structures (Q1314399):
Displaying 5 items.
- On embeddings of CAT(0) cube complexes into products of trees via colouring their hyperplanes (Q463287) (← links)
- A Nice labelling for tree-like event structures of degree 3 (Q979077) (← links)
- Stable trace automata vs. full trace automata (Q1276249) (← links)
- A verified algorithm enumerating event structures (Q2364684) (← links)
- Topological Properties of Event Structures (Q2810963) (← links)