täiskirje prindi

Certified parsing of regular languages

autor
vastutusandmed
Denis Firsov and Tarmo Uustalu
allikas
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 98 - 113
seeria-sari
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; 8307
konverentsi nimetus, aeg
3rd International Conference on Certified Programs and Proofs, CPP 2013, 11-13 December 2013
konverentsi toimumispaik
Melbourne
leitav
ISSN
1611-3349
ISBN
978-331903544-4
märkused
Bibliogr.: 9 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
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). https://doi.org/10.1007/978-3-319-03545-1_7