Login / Signup
Gerd Herzog
Publication Activity (10 Years)
Years Active: 1986-2019
Publications (10 Years): 2
Top Topics
Theorem Prover
Fixed Point Theorem
Special Case
Linear Logic
Top Venues
Am. Math. Mon.
Order
</>
Publications
</>