An easy completeness proof for the modal μ-calculus on finite trees

Authors
Publication date 2010
Host editors
  • R. Matthes
  • T. Uustalu
Book title 6th Workshop on Fixed Points in Computer Science, FICS 2009: Coimbra, Portugal, 12-13 September 2009: Proceedings
ISBN
  • 9789949430291
Event 6th Workshop on Fixed Points in Computer Science (FICS 2009), Coimbra, Portugal
Pages (from-to) 30-38
Publisher Tallinn: Tallinn University of Technology, Institute of Cybernetics
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Published at http://cs.ioc.ee/fics09/fics09proc.pdf
Permalink to this page
Back