Pages that link to "Item:Q1819937"
From MaRDI portal
The following pages link to On the finite containment problem for Petri nets (Q1819937):
Displayed 5 items.
- Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states (Q1096388) (← links)
- Completeness results for conflict-free vector replacement systems (Q1113674) (← links)
- The complexity of problems involving structurally bounded and conservative Petri nets (Q1183417) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- Multiply-Recursive Upper Bounds with Higman’s Lemma (Q3012939) (← links)