Pierre Wolper (wolper)

Contributi a Philosophie.ch

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.
Wolper, Pierre, Vardi, Moshe Y. and Sistla, A. P. 1983. “Reasoning about Infinite Computation Paths.” in IEEE Twenty-Fourth IEEE Symposium on Foundations of Computer Science, pp. 185–194. New York: IEEE Computer Science Press.