11 citations · 19 across the 12 of their papers we have counts for
1 paper · 1 filter
Miikka Vilander
We present a version of so called formula size games for regular expressions. These games characterize the equivalence of languages up to expressions of a given size. We use the re…