Login / Signup
Peter Schroeder-Heister
ORCID
Publication Activity (10 Years)
Years Active: 1983-2019
Publications (10 Years): 4
Top Topics
Default Reasoning
Derivation Rules
Fixpoint
Proof Theory
Top Venues
Stud Logica
Log. J. IGPL
Ann. Pure Appl. Log.
J. Philos. Log.
</>
Publications
</>