PP-2001-21: Giovanna D'Agostino, Giacomo Lenzi Comparing Levels of Bisimulation Quantifiers Logic with the mu-calculus 1.Full Text, 2.Abstract. < Back
