Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Dr. J.M.I.M. (Joop) Leo

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC

Bezoekadres
  • Science Park 105
Postadres
  • Postbus 94242
    1090 GE Amsterdam
Contactgegevens
  • Publicaties

    2022

    2016

    • Leo, J. (2016). Coordinate-free logic. Review of Symbolic Logic, 9(3), 522-555. Advance online publication. https://doi.org/10.1017/S1755020316000174 [details]
    • Leo, J. M. I. M. (2016). Zero or hero? In J. van Eijck, R. Iemhoff, & J. Joosten (Eds.), Liber Amicorum Alberti: A Tribute to Albert Visser (Vol. 30, pp. 205 - 208). (Tributes). College Publications.

    2014

    • Leo, J. M. I. M. (2014). Thinking in a coordinate-free way about relations. Dialectica, 68(2), 263-282.

    2013

    • Leo, J. M. I. M. (2013). Relational complexes. Journal of Philosophical Logic, 42, 357-390.

    2011

    • Leo, J. M. I. M., Visser, A., van Oostrom, V., & Grabmayer, C. (2011). On the termination of Russell's description elimination algorithm. Review of Symbolic Logic, 4(3), 367-393.

    2010

    • Leo, J. M. I. M. (2010). Modeling occurrences of objects in relations. Review of Symbolic Logic, 3(1), 145-174.

    2008

    • Leo, J. M. I. M. (2008). Modeling relations. Journal of Philosophical Logic, 37, 353-385.
    • Leo, J. M. I. M. (2008). The identity of argument-places. Review of Symbolic Logic, 1(3), 335-354.

    1991

    • Leo, J. M. I. M. (1991). A general context-free parsing algorithm running in linear time on every LR(k) grammar without using look-ahead. Theoretical Computer Science, 82, 165-176.

    2010

    • Leo, J. M. I. M. (2010). The Logical Structure of Relations.
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Nevenwerkzaamheden
    • Geen nevenwerkzaamheden