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