Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/streett

Robert S. Streett (streett)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Streett, Robert S. and Emerson, Allen E. 1989. “An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus.” Information and Computation 81: 249–264.