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

Robert S. Streett (streett)

Contributi a 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.