Login / Signup
Georgii Potapov
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Theorem Proving
Structural Information
Decision Making
Highly Interactive
Top Venues
CoRR
CiE
</>
Publications
</>
Daniil Musatov
,
Georgii Potapov
Structural Complexity of Rational Interactive Proofs.
CiE
(2023)
Daniil Musatov
,
Georgii Potapov
Structural Complexity of Rational Interactive Proofs.
CoRR
(2023)