C.D. Spyropoulos (spyropoulos-cd)

Contributions à Philosophie.ch

Bibliography

Panayiotopoulos, T. and Spyropoulos, C. D. 1994. “TRL: A Formal Language for Temporal Reference.” in Temporal Logic. Proceedings of the ICTL Workshop, edited by Hans Jürgen Ohlbach, pp. 99–109. Saarbrücken: Max-Planck-Institut für Informatik.