Login / Signup

Christoph Benzmüller

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 97

Top Topics

Tool Support
Theorem Proving
Modal Logic
Logical Reasoning

Top Venues

CoRR
Arch. Formal Proofs
KI
ARQNL@IJCAR

Saarland University, Saarbrücken, Germany (PHD)

Education History
Saarland University, Saarbrücken, Germany

PHD

Publications