Matching Patterns with Variables Under Simon's Congruence
CoRR(2023)
摘要
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.
更多查看译文
关键词
patterns,simon,variables
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要