• Vincent van Oostrom and Tim Selier
    Clickable proofs
    , TF lunch Talk, Utrecht, Tuesday 5 March, 2013
    (PDF of talk; contact me for corresponding iOS app)

  • Jan van Eijk, Vincent van Oostrom, Albert Visser (eds.)
    Logic Colloquium '99
    Proceedings of the Annual European Summer
    Meeting of the Association for Symbolic Logic,
    held in Utrecht, The Netherlands
    August 1-6, 1999

    LNL 17, ASL and AK Peters, ISBN: 1-56881-199-3 (HC) 1-56881-203-5 (PB)
    (Association for Symbolic Logic page)

  • Joost Engelfriet and Vincent van Oostrom
    Logical Description of Context-Free Graph Languages
    Journal of Computer and System Sciences, Volume 55, No. 3, pp. 489 - 503, December 1997
    (abstract)

  • Joost Engelfriet and Vincent van Oostrom
    Regular Description of Context-Free Graph Languages
    Journal of Computer and System Sciences, Volume 53, No. 3, pp. 556 - 574, December 1996
    (abstract)

  • Vincent van Oostrom
    Graafgrammatica's en Monadische 2de orde Logica
    Master's thesis, Rijksuniversiteit Leiden, Leiden, 82 pages, March 17, 1989
    (abstract)