Bartosz Klin

Bialgebry i logika modalna w strukturalnej semantyce operacyjnej (Bialgebry i logika modalna w strukturalnej semantyce operacyjnej)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Status

Przyznana

Data nadania

19 stycznia 2012

Recenzenci

prof. dr hab. Paweł Idziak (Uniwersytet Jagielloński w Krakowie); dr hab. Adam Obtułowicz (Polska Akademia Nauk); prof. Gordon Plotkin (The University of Edinburgh), dr hab. Marek Zawadowski (Uniwersytet Warszawski)