Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimine

vastutusandmed
Denis Firsov ; [supervisor Tarmo Uustalu]
dissertatsiooni liik
doktoritöö
ülikool/teadusasutus
Tallinna Tehnikaülikool
ilmumiskoht
Tallinn
kirjastus/väljaandja
ilmumisaasta
leheküljed
112, [6] p. : ill
seeria-sari
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 116
märksõna
vormimärksõna
ISSN
1406-4731
ISBN
978-9949-83-005-3
978-9949-83-006-0 (pdf)
märkused
Includes bibliogr
Kättesaadav ka võrguteavikuna
Kokkuvõte eesti keeles, lk. 69
Autori CV inglise ja eesti keeles, lk. 109-112
Thesis (Ph.D. in Informatics) : Tallinn University of Technology, 2016
TTÜ struktuuriüksus
keel
inglise
Firsov, D. Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimine. Tallinn : TUT Press, 2016. 112, [6] p. : ill. (Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 116).