18 citations · 100 across the 22 of their papers we have counts for
1 paper · 2 filters
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…