Login / Signup
Roy Dyckhoff
ORCID
Publication Activity (10 Years)
Years Active: 1992-2019
Publications (10 Years): 7
Top Topics
Theorem Prover
Sequent Calculi
Regular Expressions
Proof Theory
Top Venues
Bull. Symb. Log.
ITP
ACM Trans. Comput. Log.
J. Log. Comput.
</>
Publications
</>