Phokion G. Kolaitis (kolaitis-pg)

Contributions à Philosophie.ch

Bibliography

Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde and Weinstein, Scott. 2007. Finite Model Theory and Its Applications. Cham: Springer.
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.
Kolaitis, Phokion G. 1980. “Recursion and Nonmonotone Induction in a Quantifier.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 367–389. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Kolaitis, Phokion G. 1985. “Game Quantification.” in Model-Theoretic Logics, edited by Jon K. Barwise and Solomon Feferman, pp. 365–422. Perspectives in Mathematical Logic. Berlin: Springer.