Login / Signup
Jesper Bengtson
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 10
Top Topics
Predicate Logic
Theorem Prover
High Level Abstractions
Vague Concepts
Top Venues
Proc. ACM Program. Lang.
J. Log. Algebraic Methods Program.
ITP
CoRR
</>
Publications
</>