Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness
复制标题
结合组合属性：稳定无穷、凸性和礼貌性的分析
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Barrett, Clark
中科院分区：
文献类型：
--
作者：
Toledo, Guilherme V.;Zohar, Yoni;Barrett, Clark
登录
查看更多内容
代数数据类型的礼貌组合
DOI：
--
发表时间：
2022
期刊：
Journal of automated reasoning
影响因子：
--
作者：
Ying Sheng;Yoni Zohar;C. Ringeissen;Jane Lange;P. Fontaine;Clark W. Barrett
通讯作者：
Clark W. Barrett
使用多分类逻辑将数据结构与不稳定无限理论相结合
DOI：
--
发表时间：
2005
期刊：
International Symposium on Frontiers of Combining Systems
影响因子：
--
作者：
Silvio Ranise;C. Ringeissen;C. Zarba
通讯作者：
C. Zarba
DOI：
--
发表时间：
2007
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
作者：
S. Krstic;A. Goel;J. Grundy;C. Tinelli
通讯作者：
C. Tinelli
从微积分到计算
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
E. Walter
通讯作者：
E. Walter
影响因子：
7.3
作者：
Ying Sheng;Yoni Zohar;C. Ringeissen;Andrew Reynolds;Clark W. Barrett;C. Tinelli
通讯作者：
C. Tinelli