mu-Calculus with explicit points and approximations

Dam, Mads and Gurov, Dilian (2000) mu-Calculus with explicit points and approximations. In: Proceedings of FICS'2000 (Fixed points in Computer Science), 23 July 2000, Paris, France.

Full text not available from this repository.

Item Type:Conference or Workshop Item (Other)
Additional Information:Submitted item is an abstract within the proceedings.
ID Code:3166
Deposited By:Vicki Carleson
Deposited On:09 Jul 2008
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page