M. Ben-Ari (benari)

Beiträge zu Philosophie.ch

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.