John H. Reif (reif-jh)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Halpern, Joseph Y. and Reif, John H. 1983. “The Propositional Logic of Deterministic, Well-Structured Programs.” Theoretical Computer Science 27: 127–165.
Ladner, Richard E. and Reif, John H. 1977. “The Computational Complexity of Provability in Systems of Modal Propositional Logic.” SIAM Journal on Computing 6(3): 467–480.
Ladner, Richard E. and Reif, John H. 1986. “The Logic of Distributed Protocols (Preliminary Report).” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 207–222. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.