8 citations · 15 across the 8 of their papers we have counts for
1 paper · 1 filter
Thomas Neele, Jaco van de Pol
We study operations on fixpoint equation systems (FES) over arbitrary complete lattices. We investigate under which conditions these operations, such as substituting variables by t…