Return to the list of doctorates
Ali Rezaei Divroodi
Bisimulation Equivalence in Description Logics and Its Applications
- Affiliation
- Uniwersytet Warszawski
- Field
- informatics
- Awarding date
- Oct. 22, 2015
- Supervisor
- dr hab. Linh Anh Nguyen (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
- Reviewers
- prof. Wojciech Penczek (Instytut Podstaw Informatyki PAN)
- dr hab. Lidia Tendera (Uniwersytet Opolski)
- Documents