BRICS Basic Research in Computer Science BRICS RSAndersen et al.: A Compositional Proof System for the Modal µ-Calculus A Compositional Proof System for the

First Page		Document Content
Date: 1999-03-25 08:34:07		BRICS Basic Research in Computer Science BRICS RSAndersen et al.: A Compositional Proof System for the Modal µ-Calculus A Compositional Proof System for the Add to Reading List Source URL: www.brics.dk Download Document from Source Website File Size: 233,55 KB Share Document on Facebook