The following pages link to (Q4601852):
Displayed 4 items.
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
- Coverability in 2-VASS with one unary counter is in NP (Q6091190) (← links)
- Unboundedness problems for machines with reversal-bounded counters (Q6091196) (← links)