City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Лекция 1
Type inhabitation problems and their decidability
What:
Lecture
When:
Saturday, 25 November 2017, 17:15–18:45
Where:
ПОМИ РАН
Slides:
type_inhabitation_problems_lecture_251117.pdf
Video