Login / Signup
Agnes Moesgård Eschen
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Quantified Boolean Formulae
Davis Putnam
Belief Change
Top Venues
CICM
</>
Publications
</>
Asta Halkjær From
,
Agnes Moesgård Eschen
,
Jørgen Villadsen
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL.
CICM
(2021)