4 citations · 6 across the 4 of their papers we have counts for
1 paper · 2 filters
Gianluca Amato, Francesca Scozzari, Helmut Seidl +2
Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equati…