The Buridan-Volpin Derivation System: Properties and Justication

Research output: ThesisDoctoral Thesis

110 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