Login / Signup
Hanna Lachnitt
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 13
Top Topics
Quantum Computation
First Order Logic
Relational Models
Theorem Prover
Top Venues
CoRR
TACAS (1)
SMT
Commun. ACM
</>
Publications
</>