Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/wolper

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