Strictness of the Modal μ-Calculus Hierarchy

  • Luca Alberucci
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2500)

Abstract

The two main results of this chapter are the translation of alternating automata into the modal μ-calculus and the hierarchy theorem for the modal μ-calculus.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Luca Alberucci
    • 1
  1. 1.Informatik und Angewandte MathematikUniversität BernGermany

Personalised recommendations