Certified parsing of regular languages
autor
Firsov, Denis
Uustalu, Tarmo
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
Springer
ilmumisaasta
2013
leheküljed
p. 98 - 113
seeria-sari
Lecture notes in computer science ; 8307
konverentsi nimetus, aeg
3rd International Conference on Certified Programs and Proofs, CPP 2013, 11-13 December 2013
konverentsi toimumispaik
Melbourne
leitav
https://doi.org/10.1007/978-3-319-03545-1_7
märksõna
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
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
algorithms
pattern recognition
robots
ISSN
1611-3349
ISBN
978-331903544-4
märkused
Bibliogr.: 9 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
küberneetika instituut
keel
inglise