|
ВИДЕОТЕКА |
Logical Perspectives 2021: Summer School and Workshop
|
|||
|
Towards capturing PTIME with no counting construct (but with a version of Hilbert's choice operator epsilon) E. Ternovska |
|||
Язык доклада: английский |