25 citations · 124 across the 16 of their papers we have counts for
1 paper · 1 filter
Jeroen Keiren, Michel A. Reniers, Tim A. C. Willemse
We analyse the problem of solving Boolean equation systems through the use of structure graphs. The latter are obtained through an elegant set of Plotkin-style deduction rules. Our…