A Note on Global Induction Mechanisms in a µ-Calculus with Explicit Approximations (1999)

by Christoph Sprenger , Mads Dam
Citations:8 - 0 self