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