35 citations · 102 across the 18 of their papers we have counts for
1 paper · 1 filter
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…