Mathematics of Program Construction
Mathematics of Program Construction
复制标题
程序构建的数学
DOI：
10.1007/978-3-642-13321-3_5
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Boiten E
中科院分区：
文献类型：
--
作者：
Boiten E
在本文中，我们探讨了“足够大”的量词，也被称为“所有，但很多”，它在渐近推理中起着核心作用，例如在复杂性理论和密码学中使用。我们研究了这个量词的计算性质，并展示了它们在函数极限推理中的应用。
In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used for example in complexity theory and cryptography. We investigate calculational properties of this quantifier, and show their application in reasoning about limits of functions.
登录
查看更多内容
关于循环的代数推理
影响因子：
0.6
作者：
R. Back;Joakim von Wright
通讯作者：
Joakim von Wright
烧成条件如何帮助传承
DOI：
--
发表时间：
1995
期刊：
ZUM
影响因子：
--
作者：
B. Strulo
通讯作者：
B. Strulo
DOI：
10.1016/0167-6423(87)90011-6
发表时间：
1987
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Joseph M. Morris
通讯作者：
Joseph M. Morris
Object-Z 和 CSP 中指定的并发系统的细化和验证
DOI：
--
发表时间：
1997
期刊：
First IEEE International Conference on Formal Engineering Methods
影响因子：
--
作者：
Graeme Smith;J. Derrick
通讯作者：
J. Derrick
基于协调原子行动的安全关键系统的严格开发
DOI：
--
发表时间：
1999
期刊：
Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352)
影响因子：
--
作者：
Jie Xu;B. Randell;A. Romanovsky;R. Stroud;A. Zorzo;E. Canver;F. V. Henke
通讯作者：
F. V. Henke