@会议记录{abdulla_et_al:LIPIcs.CONCUR.2020.16,作者={Abdulla、Parosh Aziz和Atig、Mohamed Faouzi和Dave、Vrunda和Krishna、Shankra Narayanan},title={{关于字符串约束的可分性问题}},booktitle={第31届并行理论国际会议(CONCUR 2020)},页数={16:1--16:19},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-160-3},ISSN={1868-8969},年份={2020年},体积={171},editor={Konnov、Igor和Kov{a} cs公司,劳拉},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.202016},URN={URN:nbn:de:0030-drops-128286},doi={10.4230/LIPIcs.CONCUR.2020.16},annote={关键词:字符串约束,可分性,插值}}