Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimine
author
supervisor
statement of authorship
Denis Firsov ; [supervisor Tarmo Uustalu]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
year of publication
pages
112, [6] p. : ill
series
Theses of Tallinn University of Technology. C, Thesis on informatics and system engineering = [Tallinna Tehnikaülikooli väitekirjad]. C, Informaatika ja süsteemitehnika ; 116
subject term
subject of form
ISSN
1406-4731
ISBN
978-9949-83-005-3
978-9949-83-006-0 (pdf)
notes
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Ü department
language
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).