Login / Signup
Thijmen J. P. Krebs
ORCID
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 3
Top Topics
Theorem Prover
Preprocessing
Proof Planning
Intuitionistic Logic
Top Venues
CoRR
Int. J. Found. Comput. Sci.
</>
Publications
</>
Thijmen J. P. Krebs
A More Reasonable Proof of Cobham's Theorem.
Int. J. Found. Comput. Sci.
32 (2) (2021)
Thijmen J. P. Krebs
A more reasonable proof of Cobham's theorem.
CoRR
(2018)
Wieb Bosma
,
Robbert Fokkink
,
Thijmen J. P. Krebs
On automatic subsets of the Gaussian integers.
CoRR
(2016)