Pages that link to "Item:Q4972155"
From MaRDI portal
The following pages link to 1-Safe Petri Nets and Special Cube Complexes (Q4972155):
Displaying 7 items.
- Medians in median graphs and their cube complexes in linear time (Q2119403) (← links)
- A counterexample to Thiagarajan's conjecture on regular event structures (Q2186822) (← links)
- Rabin's theorem in the concurrency setting: a conjecture (Q2253187) (← links)
- (Q2766552) (← links)
- Distributed Asynchronous Games With Causal Memory are Undecidable (Q5043589) (← links)
- First-order logic axiomatization of metric graph theory (Q6196830) (← links)
- Hyperbolic models for \(\mathrm{CAT}(0)\) spaces (Q6562851) (← links)