Klaus Frovin Jørgensen

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 4

Top Topics

Predicate Logic

Automated Theorem Proving

Temporal Relations

Top Venues

Advances in Modal Logic

J. Log. Comput.

Publications