Aleksy Schubert

Unifikacja wyższego rzędu - między rozstrzygalnością a nierozstrzygalnością (Unifikacja wyższego rzędu - między rozstrzygalnością a nierozstrzygalnością)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Status

Przyznana

Data nadania

13 października 2011

Recenzenci

dr hab. W. Charatonik (Uniwersytet Wrocławski); prof. dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski); prof. dr hab. M. Zaionc (Uniwersytet Jagielloński w Krakowie); dr hab. Sławomir Lasota