Richiedi una copia del documento: An axiomatization of Bisimulation Quantifiers via the mu-calculus,

Captcha code
Annulla