111 citations · 169 across the 6 of their papers we have counts for
1 paper · 1 filter
Alexandra Silva, Marcello Bonsangue, Jan Rutten
In this paper, we present a systematic way of deriving (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of…