48 citations · 207 across the 23 of their papers we have counts for
1 paper · 2 filters
Michael Blondin, Alain Finkel, Pierre McKenzie
The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weak…