PTI - Polskie Towarzystwo Informatyczne: Oddział Dolnośląski 

Informacje na temat autora pracy konkursowej

Imię i nazwisko Filip Sieczkowski
E-mail phil.sieczkowski...gmail.com
Tytuł pracy Automated Derivation of Abstract Machines from Reduction Semantics: A Formalisation of the Refocusing Transformation in the Coq Proof System.
Data obrony 2010-07-01
Promotor dr Dariusz Biernacki
Uczelnia
Wydział
Instytut		 Uniwersytet Wrocławski
Matematyki i informatyki
Informatyki


Powrót

Zaloguj się

© 2002-2017 Polskie Towarzystwo Informatyczne Oddział Dolnośląski  -   Stopka redakcyjna
Ostatnia aktualizacja: 30 maja 2002    Dział redaguje: Paweł Mazur