Pages that link to "Item:Q4601852"
From MaRDI portal
The following pages link to Ideal decompositions for vector addition systems (invited talk) (Q4601852):
Displaying 4 items.
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
- Unboundedness problems for machines with reversal-bounded counters (Q6091196) (← links)
- Lower bounds for the reachability problem in fixed dimensional VASSes (Q6649473) (← links)