Anders Schlichtkrull

  1. Formalization of Algorithms and Logical inference Systems in Proof Assistants

    Schlichtkrull, A., Villadsen, J., Blanchette, J. C., Bolander, T., Mödersheim, S. A., Bengtson, J. & Nipkow, T.

    Technical University of Denmark

    15/09/201514/11/2018

    Project: PhD

Download list:
Download as PDF
Select render style:
Total applied amountTotal awarded amountShortLong
PDF
Download as HTML
Select render style:
Total applied amountTotal awarded amountShortLong
HTML
Download as Word
Select render style:
Total applied amountTotal awarded amountShortLong
Word