Henryk Michalewski

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

Affiliation

Uniwersytet Warszawski

Field

informatics

Status

Accepted

Awarding date

April 23, 2015

Reviewers

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)