Certified parsing of regular languages
author
statement of authorship
Denis Firsov and Tarmo Uustalu
source
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
location of publication
Cham
publisher
year of publication
pages
p. 98 - 113
series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 8307
conference name, date
3rd International Conference on Certified Programs and Proofs, CPP 2013, 11-13 December 2013
conference location
Melbourne
ISSN
1611-3349
ISBN
978-331903544-4
notes
Bibliogr.: 9 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
kvartiil
classifier
category (general)
Firsov, D., Uustalu, T. Certified parsing of regular languages // Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings. Cham : Springer, 2013. p. 98 - 113. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 8307).