Anders Schlichtkrull
Identifiers
- name variant Anders Schlichtkrull 0.60 · backfill
Papers (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