Henryk Michalewski

Badanie automatów i powiązanych z nimi logik metodami teorii mnogości

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Status

Przyznana

Data nadania

23 kwietnia 2015

Recenzenci

prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); dr hab. Tomasz Jurdziński (Uniwersytet Wrocławski); prof. dr hab. Paweł Urzyczyn (Uniwersytet Warszawski)