Regex decision procedures in extended RE#
autor
Varatalu, Ian Erik
Veanes, Margus
Zhuchko, Ekaterina
Ernits, Juhan-Peep
pealkirja tõlge
Regulaaravaldiste otsustusprotseduurid laiendatud RE#-s
vastutusandmed
Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko & Juhan Ernits
allikas
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2025
leheküljed
p. 106-129 : ill
seeria-sari
Lecture notes in computer science ; 15933
konverentsi nimetus, aeg
37th International Conference, Computer Aided Verification, July 23–25, 2025
konverentsi toimumispaik
Zagreb, Croatia
leitav
https://link.springer.com/chapter/10.1007/978-3-031-98682-6_7
https://doi.org/10.1007/978-3-031-98682-6_7
märksõna
tuletised (matemaatika)
Boole'i funktsioonid
semantika
stringiteooria
muutujad
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/pages/publications/105017236807?origin=resultslist
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:001562506200007
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
ISSN
1611-3349
ISBN
978-3-031-98682-6
märkused
Bibliogr.: 49 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
Department of Software Science
tarkvarateaduse instituut
keel
English
inglise