Matching Patterns with Variables Under Simon’s Congruence
Published:
Contribution
The paper is a result of the Göttingen visiting research in Summer 2023.
Abstract
We introduce and investigate a series of matching problems for patterns with variables under Simon’s congruence. Our results provide a thorough picture of these problems’ computational complexity
Link to arXiv full version Link to conference paper
Recommended citation:
Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer and Max Wiedenhöft. “Matching Patterns with Variables Under Simon’s Congruence.” International Conference on Reachability Problems (RP), 2023.