Login / Signup
Ivan V. Latkin
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 3
Top Topics
Worst Case
Formal Theory
Horn Clauses
Space Complexity
Top Venues
CoRR
Computability and Complexity
</>
Publications
</>
Ivan V. Latkin
A correspondence between the time and space complexity.
CoRR
(2023)
Ivan V. Latkin
The complexity of the first-order theory of pure equality.
CoRR
(2019)
Nazif G. Khisamiev
,
Ivan V. Latkin
On Constructive Nilpotent Groups.
Computability and Complexity
(2017)