5 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Daniel Hausmann, Lutz Schröder, Christoph Egger
We present a sound, complete, and optimal single-pass tableau algorithm for the alternation-free μ-calculus. The algorithm supports global caching with intermediate propagation a…