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