You are not logged in | Log in
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