Zohar Manna (manna)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Ben-Ari, M., Manna, Zohar and Pnuelli, Amir. 1981. “The Temporal Logic of Branching Time.” in Eighth Annual ACM Symposium on Principles of Programming Languages. New York: ACM Press. republished as Ben-Ari, Manna and Pnuelli (1983).
Ben-Ari, M., Manna, Zohar and Pnuelli, Amir. 1983. “The Temporal Logic of Branching Time.” Acta Informatica 20: 207–226.
Chang, Edward Y., Manna, Zohar and Pnuelli, Amir. 1992. “A Hierarchy of Temporal Properties.” in Computer System & Sciences: NATO Advanced Science Institutes Series. Berlin: Springer Verlag.
Chang, Edward Y., Manna, Zohar and Pnuelli, Amir. 1994. “Compositional Verification of Real-Time Systems.” in IEEE Proceedings of the 9th Annual IEEE Symposion on Logic in Computer Science. New York: IEEE Computer Science Press.
Manna, Zohar. 1970. “The Correctness of Nondeterministic Programs.” Artificial Intelligence 1(1–2): 1–26.
Manna, Zohar and Pnuelli, Amir. 1989. “The Anchored Version of the Temporal Framework.” 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. 201–284. Lecture Notes in Computer Science n. 354. Berlin: Springer.
Manna, Zohar and Pnuelli, Amir. 1992. The Temporal Logic of Reactive and Concurrent Systems. Berlin: Springer.
Manna, Zohar, Stickel, Mark E. and Waldinger, Richard J. 1991. “Monotonicity Properties in Automated Deduction.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 247–280. New York: Academic Press.
Manna, Zohar and Waldinger, Richard J. 1975. “Knowledge and Reasoning in Program Synthesis.” Artificial Intelligence 6(2): 175–208.
Manna, Zohar and Waldinger, Richard J. 1980. “A Deductive Approach to Program Synthesis.” ACM Transactions on Programming Languages and Systems 2(1): 120–121. Reprinted in Webber and Nilsson (1981, 141–172).
Manna, Zohar and Waldinger, Richard J. 1987. “A Theory of Plans.” in Reasoning about Actions and Plans, Proceedings of the 1986 Workshop at Timberline, Oregon, edited by Michael P. Georgeff and Amy L. Lansky, pp. 11–45. San Francisco, California: Morgan Kaufmann Publishers.
McGuire, J., Manna, Zohar and Waldinger, Richard J. 1994. “Annotation-Based Deduction in Temporal Logic.” 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. 430–444. Lecture Notes in Computer Science n. 827. Berlin: Springer.