Login / Signup
Asta Halkjær From
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 31
Top Topics
Sequent Calculus
Propositional Logic
Natural Deduction
Theorem Prover
Top Venues
Arch. Formal Proofs
TYPES
ThEdu@FLoC
ThEdu@CADE
</>
Publications
</>