Login / Signup
Paula Henk
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 1
Top Topics
Incomplete Data
Multiresolution
Space Filling Curves
Arithmetic Operations
Top Venues
Arch. Math. Log.
TbiLLC
</>
Publications
</>
Paula Henk
,
Albert Visser
Interpretability suprema in Peano Arithmetic.
Arch. Math. Log.
56 (5-6) (2017)
Paula Henk
Kripke Models Built from Models of Arithmetic.
TbiLLC
(2013)