Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft. Matching Patterns with Variables Under Simon's Congruence. In Olivier Bournez, Enrico Formenti, Igor Potapov, editors, Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings. Volume 14235 of Lecture Notes in Computer Science, pages 155-170, Springer, 2023. [doi]
@inproceedings{FleischmannKKMNSW23,
title = {Matching Patterns with Variables Under Simon's Congruence},
author = {Pamela Fleischmann and Sungmin Kim and Tore Koß and Florin Manea and Dirk Nowotka and Stefan Siemer and Max Wiedenhöft},
year = {2023},
doi = {10.1007/978-3-031-45286-4_12},
url = {https://doi.org/10.1007/978-3-031-45286-4_12},
researchr = {https://researchr.org/publication/FleischmannKKMNSW23},
cites = {0},
citedby = {0},
pages = {155-170},
booktitle = {Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings},
editor = {Olivier Bournez and Enrico Formenti and Igor Potapov},
volume = {14235},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-45286-4},
}