17 citations · 77 across the 18 of their papers we have counts for
1 paper · 1 filter
Milka Hutagalung, Martin Lange, Etienne Lozes
Simulation relations are an important tool in automata theory because they provide efficiently computable approximations to language inclusion. In recent years, extensions of ordin…