Login / Signup
Julie Lundbak Kofod
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Predicate Calculus
Classical First Order Logic
Horn Clauses
Proof Procedure
Top Venues
WoLLIC
</>
Publications
</>