摘要：弱链式字符串约束的可满足性问题的可判定性
作者：Parosh Aziz Abdulla, Mohamed Faouzi Atig Bui Phi Diep, Luk''av{s} Hol''ik, Petr Jank {u}
论文ID：2307.03970
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-11
PDF 下载： 英文版 中文版pdf翻译中