Automata for the modal μ-calculus and related results

This publication has 8 references indexed in Scilit:

• Fixed points vs. infinite generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Tree automata, mu-calculus and determinacy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Branching time temporal logic and amorphous tree automata
  Published by Springer Nature ,1993
• An automata theoretic decision procedure for the propositional mu-calculus
  Information and Computation, 1989
• The complexity of tree automata and logics of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• Alternating automata on infinite trees
  Theoretical Computer Science, 1987
• Regular expressions for infinite trees and a standard form of automata
  Published by Springer Nature ,1985
• Results on the propositional μ-calculus
  Theoretical Computer Science, 1983