Regex decision procedures in extended RE#
author
Varatalu, Ian Erik
Veanes, Margus
Zhuchko, Ekaterina
Ernits, Juhan-Peep
translation of title
Regulaaravaldiste otsustusprotseduurid laiendatud RE#-s
statement of authorship
Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko & Juhan Ernits
source
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III
location of publication
Cham
publisher
Springer
year of publication
2025
pages
p. 106-129 : ill
series
Lecture notes in computer science ; 15933
conference name, date
37th International Conference, Computer Aided Verification, July 23–25, 2025
conference location
Zagreb, Croatia
url
https://link.springer.com/chapter/10.1007/978-3-031-98682-6_7
https://doi.org/10.1007/978-3-031-98682-6_7
subject term
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
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
ISSN
1611-3349
ISBN
978-3-031-98682-6
notes
Bibliogr.: 49 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
Department of Software Science
tarkvarateaduse instituut
language
English
inglise