Pages that link to "Item:Q1285587"
From MaRDI portal
The following pages link to On the complexity of deadlock detection in families of planar nets (Q1285587):
Displaying 4 items.
- Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible (Q2196563) (← links)
- Complexity of question/answer games (Q2378516) (← links)
- Local and global deadlock-detection in component-based systems are NP-hard (Q2379953) (← links)
- On the undecidability of deadlock detection in families of nets (Q4596646) (← links)