Nr. 34 (1994): RS-34 A Compositional Proof System for the Modal mu-Calculus

Publiceret: 1994-10-15

Artikler