Analysis and Transformation of Proof Procedures

Andre de Waal

Research output: Other contributionPhD thesis (not Bristol)

Translated title of the contributionAnalysis and Transformation of Proof Procedures
Original languageEnglish
Number of pages151
Publication statusPublished - 1994

Bibliographical note

Examining body: Department of Computer Science, University of Bristol

Cite this