Video library: E. Ternovska, Towards capturing PTIME with no counting construct (but with a version of Hilbert's choice operator epsilon)

Videolibrary

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Logical Perspectives 2021: Summer School and Workshop
June 18, 2021 13:00–13:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online

Towards capturing PTIME with no counting construct (but with a version of Hilbert's choice operator epsilon)

E. Ternovska

Supplementary materials:

workshop_ternovska_slides.pdf (901.6 Kb) ,

workshop_ternovska.pdf (77.7 Kb)

Language: English