Howard Barringer (barringer)

Contributions to Philosophie.ch

Bibliography

Artemov, Sergei N., Barringer, Howard, Garcez, A. S. d’Avila, Lamb, Luis C. and Wood, John, eds. 2005a. We Will Show Them! Essays in Honour of Dov Gabbay. Volume I. Tributes n. 1. London: King’s College Publications.
Artemov, Sergei N., Barringer, Howard, Garcez, A. S. d’Avila, Lamb, Luis C. and Wood, John, eds. 2005b. We Will Show Them! Essays in Honour of Dov Gabbay. Volume II. Tributes n. 2. London: King’s College Publications.
Banieqbal, B., Barringer, Howard and Pnuelli, Amir, eds. 1989. Temporal Logic in Specification. Berlin: Springer.
Barringer, Howard. 1987. “The Use of Temporal Logic in the Compositional Specification of Concurrent Systems.” in Temporal Logics and their Applications, edited by Antony Galton, pp. 53–90. New York: Academic Press.
Barringer, Howard, Fisher, Michael E., Gabbay, Dov M. and Hunter, Anthony. 1991. “Meta-Reasoning in Executable Temporal Logic.” in KR’91: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, edited by James F. Allen, Richard E. Fikes, and Erik Sandewall, pp. 40–49. San Francisco, California: Morgan Kaufmann Publishers.
Barringer, Howard, Fisher, Michael E., Gabbay, Dov M., Owens, R. and Reynolds, Mark A. 1996. The Imperative Future: Principles of Executable Temporal Logic. Hoboken, New Jersey: John Wiley; Sons, Inc.
Dixon, C., Fisher, Michael E. and Barringer, Howard. 1994. “A Graph-Based Approach to Resolution 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. 415–429. Lecture Notes in Computer Science n. 827. Berlin: Springer.