Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Streett, Robert S. and Emerson, Allen E. 1989. “An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus.”Information and Computation 81: 249–264.