Anders Schlichtkrull

Identifiers

• name variant Anders Schlichtkrull 0.60 · backfill

Papers (1)

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

Mentions

• 1507.04002 #3 · backfill · confidence 0.70 Anders Schlichtkrull

Frequent Coauthors

• Alexander Birch Jensen 1 shared papers
• J{\o}rgen Villadsen 1 shared papers