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

A. Poté (pote)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Vergauwen, B., Lewi, J., Avau, I. and Poté, A. 1994. Efficient Computation of Nested Fix-Points, with Applications to Model Checking.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 165–179. Lecture Notes in Computer Science n. 827. Berlin: Springer.