Nicholas Measor

According to our database, Nicholas Measor authored at least 3 papers between 1991 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Duality and the Completeness of the Modal mu-Calculus.

Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor

Theor. Comput. Sci., 1995

1993

On Duality for the Modal µ-Calculus.

Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor

Proceedings of the Computer Science Logic, 7th Workshop, 1993

1991

Logics of knowledge and belief - applications.

Nicholas Measor

Artif. Intell. Rev., 1991