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

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
438 Downloads (Pure)