pealkiri
Certification of Context-Free Grammar Algorithms
Kontekstivabade grammatikate algoritmide sertifitseerimine
valdkond
Informatics and System Engineering C
Informaatika ja süsteemitehnika C
autor
Firsov, Denis
märksõnad
grammars
parsing
certification
constructive logic
finiteness
Agda
dissertations
grammatikad
parsimine
sertifitseerimine
konstruktiivne loogika
lõplikkus
Agda
dissertatsioonid
väljaandja
TUT Press
TTÜ Kirjastus
juhendaja
Uustalu, Tarmo
kaitsmiskuupäev
31.08.2016
identifikaator
ISBN 9789949830053 (publication)
ISBN 9789949830060 (pdf)
ISSN 14064731
keel
eng
asutus
Institute of Cybernetics at Tallinn University of Technology
Tallinna Tehnikaülikooli Küberneetika Instituut