Alexander Birch Jensen

Identifiers

• name variant Alexander Birch Jensen 0.60 · backfill

Papers (1)

1. NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle cs.CY · 2015 · author #2

Mentions

• 1507.04002 #2 · backfill · confidence 0.70 Alexander Birch Jensen

Frequent Coauthors

• Anders Schlichtkrull 1 shared papers
• J{\o}rgen Villadsen 1 shared papers