48 citations · 207 across the 23 of their papers we have counts for
1 paper · 2 filters
Alain Finkel, Ekanshdeep Gupta
We introduce the well structured problem as the question of whether a model (here a counter machine) is well structured (here for the usual ordering on integers). We show that it i…