You are not logged in | Log in
Return to the list of doctorates

Ali Rezaei Divroodi

Bisimulation Equivalence in Description Logics and Its Applications (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