logo
E-väljaanne
Autor
Veltri, Niccolò, 1988-
Pealkiri
A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest / Niccolò Veltri ; [supervisors Tarmo Uustalu, James Chapman]
Ilmumisandmed
Tallinn : TUT Press, 2017
Füüsiline kirjeldus
143 lk. ; 25 cm
Seeria pealkiri
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika, ISSN 1406-4731 ; 123
Tallinna Tehnikaülikooli väitekirjad. C, ISSN 1406-4731 ; 123
ISBN
9789949831005
Märkus
Doktoritöö: Tallinna Tehnikaülikool, 2017
Autori publikatsioonide nimekiri lk. 9. - Bibliograafia lk. 83-89
Kokkuvõte eesti keeles
Täiendav kandja
Kättesaadav ka võrguteavikuna
Märksõnad
arvutiteadus; konstruktiivne matemaatika; tüübiteooria; dissertatsioonid
Teised autorid
Uustalu, Tarmo, 1969-, juhendaja
Chapman, James, juhendaja
Kollektiivautorid
Tallinna Tehnikaülikool
UDK
004 (043)
004.1 (043)
Rööppealkiri
Tüübiteoreetiline uurimus mittetermineeruvusest
Teine kandja
Type-theoretical study of nontermination (võrguteavik). 9789949831012 (pdf)