Neil Immerman (immerman-n)

Contributions to Philosophie.ch

Bibliography

Fischer, Michael J. and Immerman, Neil. 1986. “Foundations of Knowledge for Distributed Systems.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 171–185. San Francisco, California: Morgan Kaufmann Publishers, http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Fischer, Michael J. and Immerman, Neil. 1987. “Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse.” Information Processing Letters 25(3): 175–182.
Halpern, Joseph Y., Harper, Robert A., Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y. and Vianu, Victor. 2001. “On the Unusual Effectiveness of Logic in Computer Science.” The Bulletin of Symbolic Logic 7(2): 213–236.
Immerman, Neil. 2004. “Computability and Complexity.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2004/entries/computability/.
Immerman, Neil. 2006. “Computability and Complexity.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2006/entries/computability/.
Immerman, Neil. 2008. “Computability and Complexity.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2008/entries/computability/.
Immerman, Neil. 2015. “Computability and Complexity.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2015/entries/computability/.
Immerman, Neil. 2021. “Computability and Complexity.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2021/entries/computability/.