Stéphanie Katz (katz-s)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Herrmann, Theo and Katz, Stéphanie. 2001. “Otto Selz and the Würzburg School.” in The Dawn of Cognitive Science. Early European Contributors, edited by Liliana Albertazzi, pp. 225–236. Synthese Library n. 295. Dordrecht: Kluwer Academic Publishers.
Katz, Stéphanie. 1994. “Global Equivalence Proofs for ISTL.” 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. 17–29. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Katz, Stéphanie. 2004. L’écran, de l’icône au virtuel : la résistance de l’infigurable. Ouverture philosophique. Paris: L’Harmattan.
Katz, Stéphanie and Peled, Doron A. 1989. “An Efficient Verification Method for Parallel and Distributed Programs.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 489–507. Lecture Notes in Computer Science n. 354. Berlin: Springer.
Katz, Stéphanie and Taubenfeld, Gadi. 1986. “What Processes Know: Definitions and Methods.” in Proceedings of the Ninth ACM Symposium on Principles of Distributed Computing, pp. 249–262. New York: The ACM Press.