Login / Signup
Bertram Felgenhauer
Publication Activity (10 Years)
Years Active: 2011-2022
Publications (10 Years): 17
Top Topics
Rewrite Systems
Redundant Rules
Theorem Prover
Termination Analysis
Top Venues
Arch. Formal Proofs
CoRR
RTA
CPP
</>
Publications
</>