Photo of Alexander Birch Jensen

Alexander Birch Jensen

  • Richard Petersens Plads, 322, 021

    2800 Kgs. Lyngby

    Denmark

20152020

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 journal › Journal article › Research › peer-review

Open Access
File
49 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 journal › Journal article › Research › peer-review

Open Access
File
466 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 journal › Journal article › Research › peer-review

Open Access
File
200 Downloads (Pure)

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 journal › Journal article › Research › peer-review

Open Access
File
279 Downloads (Pure)

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 proceeding › Article in proceedings › Research › peer-review

Open Access
File
87 Downloads (Pure)

Projects

Logical Foundations of Al Algorithms

Jensen, A. B., Villadsen, J. & Mödersheim, S. A.

01/02/2019 → 31/01/2022

Project: PhD