On the formalization of the modal µ-calculus in the Calculus of Inductive Constructions (2000)

by Marino Miculan
Venue:Information and Computation
Citations:6 - 0 self