Pages that link to "Item:Q5180853"
From MaRDI portal
The following pages link to Reachability Problems in Vector Addition Systems (Q5180853):
Displaying 5 items.
- Some decision problems related to the reachability problem for Petri nets (Q1235983) (← links)
- Computation sequence sets (Q1236890) (← links)
- The equality problem for vector addition systems is undecidable (Q1238997) (← links)
- (Q4190159) (← links)
- Two-Variable Logic with Counting and Trees (Q5278191) (← links)
