Counting Algorithms for Recognizable and Algebraic Series
Counting Algorithms for Recognizable and Algebraic Series
复制标题
可识别代数级数的计数算法
DOI：
10.1587/transinf.2017fop0003
复制
发表时间：
2018
影响因子：
0.7
通讯作者：
Kenji Hashimoto and Hiroyuki Seki
中科院分区：
文献类型：
--
作者：
Trung CHU Bao;Kenji Hashimoto and Hiroyuki Seki
登录
查看更多内容
影响因子：
0.8
作者：
Margus Veanes;Pieter Hooimeijer;B. Livshits;D. Molnar;Nikolaj S. Bjørner
通讯作者：
Margus Veanes;Pieter Hooimeijer;B. Livshits;D. Molnar;Nikolaj S. Bjørner
DOI：
10.1007/978-3-642-35873-9_14
发表时间：
2013-01
期刊：
--
影响因子：
--
作者：
Loris D'antoni;Margus Veanes
通讯作者：
Loris D'antoni;Margus Veanes
影响因子：
1.1
作者：
V. Klebanov
通讯作者：
V. Klebanov
递归定义字符串的模型计数
DOI：
--
发表时间：
2017
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Minh;D. Chu;J. Jaffar
通讯作者：
J. Jaffar
使用字符串分析验证客户端输入验证函数
DOI：
10.1109/icse.2012.6227124
发表时间：
2012
期刊：
2012 34th International Conference on Software Engineering (ICSE)
影响因子：
--
作者：
Muath Alkhalaf;T. Bultan;J. L. Gallegos
通讯作者：
J. L. Gallegos