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