TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 


(1.3 MB)

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