Photo of Alexander Birch Jensen
  • Richard Petersens Plads, 322, 021

    2800 Kgs. Lyngby

    Denmark

20152022

Research output per year

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

Research Output

  • 4 Journal article
  • 2 Article in proceedings

Teaching a Formalized Logical Calculus

From, A. H., Jensen, A. B., Schlichtkrull, A. & Villadsen, J., 2020, In : Electronic Proceedings in Theoretical Computer Science. 313, p. 73-92

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
32 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
414 Downloads (Pure)

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

Projects