Laboratory of Mathematical Logic
at
PDMI
Staff
Teaching/Seminars
Activities
Hilbert's 10th Problem
Gallery
Contacts
Search
Search this site:
Home
Alexander Smal
Wed, 2009-12-23 22:48 — smal
Personal data
Interests:
proof complexity, structural complexity, algorithms
Homepage:
http://logic.pdmi.ras.ru/~smal
Photo:
Junior Researchers