@收款{zbMATH06688812，作者={Liang，Tianyi and Tsiskaridze，Nestan and Reynolds，Andrew and Tinelli，Cesare and Barrett，Clark}，Title={无界字符串上正则成员资格和长度约束的决策过程}，BookTitle={组合系统的前沿。第十届国际研讨会，FroCoS 2015，Wroc{\l}aw，波兰，2015年9月21日至24日。诉讼}，国际标准图书编号={978-3-319-24245-3；978-3-3169-24246-0}，Pages＝{135-150}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-24246-0_9}，关键词={68Q45,03B25,03B35,68T20,68V15}，zbMATH={6688812}，Zbl={1471.68119}}