• Laura Korte
    Coinductive Proof Nets
    Doctoraalscriptie, Cognitieve Kunstmatige Intelligentie, Universiteit Utrecht, June 21, 2002
    (PDF of local copy)

  • Sjoerd Tieleman
    Formalisation of version control with an emphasis on tree-structured data
    Thesis, Utrecht University, August 5, 2006
    (PDF of local copy)

  • Marijn Zwitserlood
    De lokale adbmal-calculus
    Doctoraalscriptie Cognitieve Kunstmatige Intelligentie, Universiteit Utrecht, August 9, 2007
    (PDF of local copy)

  • Jochem Bongaerts
    Topological Convergence in Infinitary Abstract Rewriting
    Master's Thesis, Cognitive Artificial Intelligence, Universiteit Utrecht, August 2011
    (PDF at Utrecht University Student Theses Repository, PDF of local copy)

  • Koen Rutten
    The suitability of CRSX for transformations on Haskell
    Bachelor Thesis, Cognitieve Kunstmatige Intelligentie, Utrecht University, September 20, 2012
    (PDF at Utrecht University Student Theses Repository, PDF of local copy)
    co-supervision with Kristoffer H. Rose (IBM Thomas J. Watson Research Center)

  • Ahmet Aspir
    Search Terms
    Bachelor Thesis, Computational Logic group of Universität Innsbruck, June 3, 2019
    (PDF at Computational Logic group of Universität Innsbruck, PDF of local copy)

  • Marian Haselrieder
    Floyd and Warshall meet Kleene
    Bachelor Thesis, Computational Logic group of Universität Innsbruck, September 10, 2020
    (PDF at Computational Logic group of Universität Innsbruck, PDF of local copy, WebApp)

  • Samuel Frontull
    Alpha Avoidance
    Master Thesis, Computational Logic group of Universität Innsbruck, September 6, 2021
    (PDF at Universitäts- und Landesbibliothek Tirol, PDF of local copy, WebApp)

  • Raoul Schikora
    On Orthogonality of Self-Distributivity
    Master Thesis, Computational Logic group of Universität Innsbruck, November 1, 2022
    (PDF at Universitäts- und Landesbibliothek Tirol, PDF of local copy)
    co-supervision with René Thiemann (Universität Innsbruck)