No photo of Alexander Birch Jensen
  • Richard Petersens Plads, 322, 021

    2800 Kgs. Lyngby

    Denmark

20152022
If you made any changes in Pure these will be visible here soon.

Research Output 2015 2018

  • 3 Journal article
  • 2 Article in proceedings
295 Downloads (Pure)

Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL

Jensen, A. B., Larsen, J. B., Schlichtkrull, A. & Villadsen, J., 2018, In : AI Communications. 31, 3, p. 281-299

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

First-Order Logic According to Harrison

Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2017, In : Archive of Formal Proofs. p. 1-66

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle

Villadsen, J., Jensen, A. B. & Schlichtkrull, A., 2017, In : IfCoLog Journal of Logics and their Applications. 4, 1, p. 55-82

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Verication of an LCF-Style First-Order Prover with Equality

Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2016, Proceedings of the Isabelle Workshop 2016. 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle

Villadsen, J., Jensen, A. B. & Schlichtkrull, A., 2015, Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL 2015). p. 253-262

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Projects 2019 2022