Login / Signup

An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus

Robert S. StreettE. Allen Emerson
Published in: Inf. Comput. (1989)
Keyphrases
  • proof procedure
  • theorem proving
  • automata theoretic
  • propositional logic
  • first order logic
  • temporal logic
  • regular path queries
  • model theoretic
  • pattern matching
  • automated reasoning