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

Publiceret: 1998-06-10

Artikler