Nicholas Measor

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
Duality and the Completeness of the Modal mu-Calculus. Theor. Comput. Sci. 151 (1) (1995)
Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
On Duality for the Modal µ-Calculus. CSL (1993)
Nicholas Measor
Logics of knowledge and belief - applications. Artif. Intell. Rev. 5 (1-2) (1991)