logo
E-väljaanne
TÄISTEKST RR arhiivis DIGAR http://www.digar.ee/arhiiv/nlib-digar:315498
TÄISTEKST TTÜ raamatukogu digikogus https://digi.lib.ttu.ee/i/?7631
Autor
Veltri, Niccolò, 1988-
Pealkiri
A type-theoretical study of nontermination [Võrguteavik] = Tüübiteoreetiline uurimus mittetermineeruvusest / Niccolò Veltri ; supervisors Tarmo Uustalu, James Chapman
Ilmumisandmed
Tallinn : TUT Press, 2017
Füüsiline kirjeldus
1 võrguväljaanne (143 lk. ; pdf)
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 ; 123
Tallinna Tehnikaülikooli väitekirjad. C. [Võrguteavik] ; 123
ISBN
9789949831012 (pdf)
Märkus
Doktoritöö: Tallinna Tehnikaülikool, 2017
Sisaldab bibliograafiat
Kokkuvõte eesti keeles
Pealkiri võetud tiitelkuvalt (kirjeldatud 21.06.2017)
Täiendav kandja
Kättesaadav ka trükisena
Märksõnad
arvutiteadus; konstruktiivne matemaatika; tüübiteooria; dissertatsioonid; e-raamatud
Teised autorid
Uustalu, Tarmo, 1969-, juhendaja
Chapman, James, juhendaja
Kollektiivautorid
Tallinna Tehnikaülikool
UDK
004 (043) (0.034)
Rööppealkiri
Tüübiteoreetiline uurimus mittetermineeruvusest [Võrguteavik]
Teine kandja
Type-theoretical study of nontermination. 9789949831005