8 citations · 23 across the 7 of their papers we have counts for
1 paper · 1 filter
Hendrik Maarand, Tarmo Uustalu
We provide syntactic derivative-like operations, defined by recursion on regular expressions, in the styles of both Brzozowski and Antimirov, for trace closures of regular language…