Anh Linh Nguyen

Wybrane zagadnienia semantyczne i obliczeniowe programowania w logikach modalnych (Wybrane zagadnienia semantyczne i obliczeniowe programowania w logikach modalnych)

Affiliation

Uniwersytet Warszawski

Field

Status

Accepted

Awarding date

Feb. 26, 2009

Reviewers

dr hab. Włodzimierz Andrzej Drabent (Instytut Podstaw Informatyki PAN); dr hab. Damian Niwiński; prof. dr hab. Marek Zaionc (Uniwersytet Jagielloński w Krakowie); prof. John Jules Meyer (Utrecht University, Holandia)