logo
E-väljaanne
TÄISTEKST TTÜ raamatukogu digikogus http://digi.lib.ttu.ee/i/?6213
Autor
Firsov, Denis, 1987-
Pealkiri
Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimine / Denis Firsov ; [supervisor Tarmo Uustalu]
Ilmumisandmed
Tallinn : TUT Press, 2016 (Tallinn : Tallinna Tehnikaülikooli Kirjastuse trükikoda)
Füüsiline kirjeldus
112, [6] 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 ; 116
Tallinna Tehnikaülikooli väitekirjad. C, ISSN 1406-4731 ; 116
ISBN
9789949830053
9789949830060 (pdf)
Märkus
Doktoritöö: Tallinna Tehnikaülikool, 2016
Autori publikatsioonid lk. 7. - Bibliograafia lk. 61-65
Kokkuvõte eesti keeles
Täiendav kandja
Kättesaadav ka võrguteavikuna
Märksõnad
programmeerimiskeeled; kontekstivabad grammatikad; algoritmid; sertifitseerimine; dissertatsioonid; kontekstivabad grammatikad (inform.); parsimine; konstruktiivne loogika
Teised autorid
Uustalu, Tarmo, 1969-, juhendaja
Kollektiivautorid
Tallinna Tehnikaülikool
UDK
004.423.25.021 (043)
004.43 (043)
Rööppealkiri
Kontekstivabade grammatikate algoritmide sertifitseerimine