A note on global induction mechanisms in a µ-calculus with explicit approximations (0)

by C Sprenger, M Dam
Venue:Theoretical Informatics and Applications