Ambiguous Classes in the Games μ-Calculus Hierarchy

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-36576-1_5 ◽

2003 ◽

pp. 70-86 ◽

Author(s):

André Arnold ◽

Luigi Santocanale

Download Full-text