The Buridan-Volpin Derivation System: Properties and Justication

    Research output: ThesisDoctoral Thesis

    198 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Tilburg University
    Supervisors/Advisors
    • Buekens, Filip, Promotor
    • de Swart, Harrie, Promotor
    Award date4 May 2022
    Publication statusPublished - 2022

    Cite this