111 citations · 374 across the 31 of their papers we have counts for
1 paper · 1 filter
Alexandra Silva, Filippo Bonchi, Marcello Bonsangue +1
The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powers…