Pierre Wolper (wolper)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Gribomont, Pascal, Ribbens, Daniel and Wolper, Pierre. 2000. “Logique, automates, informatique.” in Logique en perspective. Mélanges offerts à Paul Gochet, edited by François Beets and Éric Gillet, pp. 545–577. Bruxelles: Éditions Ousia.
Wolper, Pierre. 1981. “Temporal Logic Can Be More Expressive.” in IEEE Twenty-Second Annual Symposium on Foundations of Computer Science, pp. 340–348. New York: IEEE Computer Science Press.
Wolper, Pierre. 1985. “The Tableau Method for Temporal Logic: An Overview.” Logique et Analyse 28(110–111): 119–136.