title
Certification of Context-Free Grammar Algorithms
Kontekstivabade grammatikate algoritmide sertifitseerimine
series
Informatics and System Engineering C
Informaatika ja süsteemitehnika C
author
Firsov, Denis
keywords
grammars
parsing
certification
constructive logic
finiteness
Agda
dissertations
grammatikad
parsimine
sertifitseerimine
konstruktiivne loogika
lõplikkus
Agda
dissertatsioonid
publisher
TTÜ Kirjastus
TUT Press
supervisor
Uustalu, Tarmo
defence date
31.08.2016
identifier
ISBN 9789949830053 (publication)
ISBN 9789949830060 (pdf)
ISSN 14064731
language
eng
institution
Institute of Cybernetics at Tallinn University of Technology
Tallinna Tehnikaülikooli Küberneetika Instituut