Stirling, Colin
-
BRICS Report Series Nr. 40 (1998): RS-40 A Compositional Proof System for the Modal mu-Calculus - Artikler
A Compositional Proof System for the Modal mu-Calculus
Resumé PDF (English) -
BRICS Report Series Nr. 34 (1994): RS-34 A Compositional Proof System for the Modal mu-Calculus - Artikler
A Compositional Proof System for the Modal mu-Calculus
Resumé PDF (English)