The following pages link to (Q5367063):
Displaying 15 items.
- Transition systems without transitions (Q557786) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- Ordinal theory for expressiveness of well-structured transition systems (Q1951597) (← links)
- On decidability and complexity of low-dimensional robot games (Q2009641) (← links)
- Commodification of accelerations for the Karp and Miller construction (Q2058566) (← links)
- Branch-well-structured transition systems and extensions (Q2165211) (← links)
- Local entailment test in the reachability problem for well-structured transition systems (Q2885198) (← links)
- Well (and Better) Quasi-Ordered Transition Systems (Q3067860) (← links)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
- (Q5009453) (← links)
- Forward analysis for WSTS. III: Karp-Miller trees (Q5114831) (← links)
- (Q5136306) (← links)
- (Q5394328) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- Branch-well-structured transition systems and extensions (Q6563059) (← links)