Certified parsing of regular languages
author
Firsov, Denis
Uustalu, Tarmo
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
Springer
year of publication
2013
pages
p. 98 - 113
series
Lecture notes in computer science ; 8307
conference name, date
3rd International Conference on Certified Programs and Proofs, CPP 2013, 11-13 December 2013
conference location
Melbourne
url
https://doi.org/10.1007/978-3-319-03545-1_7
subject term
programmeerimiskeeled
süntaktiline analüüs
maatriksid (matemaatika)
lineaaralgebra
algoritmid
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-84893051683&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-319-03545-1_7%29
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000440498800007
quartile
Q2
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
keyword
algorithms
pattern recognition
robots
ISSN
1611-3349
ISBN
978-331903544-4
notes
Bibliogr.: 9 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
küberneetika instituut
language
inglise