Andersen, Henrik Reif
-
BRICS Report Series No. 40 (1998): RS-40 A Compositional Proof System for the Modal mu-Calculus - Articles
A Compositional Proof System for the Modal mu-Calculus
Abstract PDF -
BRICS Report Series No. 34 (1994): RS-34 A Compositional Proof System for the Modal mu-Calculus - Articles
A Compositional Proof System for the Modal mu-Calculus
Abstract PDF
