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/benari

M. Ben-Ari (benari)

Contributi a Philosophie.ch

No contributions yet

Bibliography

    Ben-Ari, M., Manna, Zohar and Pnuelli, Amir. 1981. “The Temporal Logic of Branching Time.” in Eighth Annual ACM Symposium on Principles of Programming Languages. New York: ACM Press. republished as Ben-Ari, Manna and Pnuelli (1983).
    Ben-Ari, M., Manna, Zohar and Pnuelli, Amir. 1983. “The Temporal Logic of Branching Time.” Acta Informatica 20: 207–226.