Login / Signup
Petr Glivický
ORCID
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Association For Artificial Intelligence
Website
Closed Form
Linear Model
Top Venues
Math. Log. Q.
</>
Publications
</>
Petr Glivický
,
Pavel Pudlák
A wild model of linear arithmetic and discretely ordered modules.
Math. Log. Q.
63 (6) (2017)
Petr Glivický
,
Vítezslav Kala
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics.
Math. Log. Q.
63 (3-4) (2017)