Formalization of Algorithms and Logical inference Systems in Proof Assistants

Schlichtkrull, Anders (PhD Student)
Villadsen, Jørgen (Main Supervisor)
Blanchette, Jasmin Christian (Supervisor)
Bolander, Thomas (Supervisor)
Mödersheim, Sebastian Alexander (Examiner)
Bengtson, Jesper (Examiner)
Nipkow, Tobias (Examiner)

Status	Finished
Effective start/end date	15/09/2015 → 14/11/2018

Funding

Technical University of Denmark

1 Ph.D. thesis

Formalization of Logic in the Isabelle Proof Assistant
Schlichtkrull, A., 2018, DTU Compute. 168 p. (DTU Compute PHD-2018, Vol. 493).
Research output: Book/Report › Ph.D. thesis

Open Access
File
1096 Downloads (Orbit)