理计算机科学

GiuseppeFItalianoetal

TheoreticalComputer

Science

2007；

Hardback

ISBN9789812770981

G.意大利亚诺等编

第10届意大利理论计算机科学会议(ICTCS2007)于2007年10月3-5日在罗马举行.前几届会议分别于1972、1974、1989、1992、1995、2001、2003及2005年在比萨曼图亚、普拉托等意大利城市举行.本届会议涉及了理论计算机科学的所有领域,讨论了理论计算机科学的最新进展.涉及的主题范围：算法的设计与分析、计算的逻辑与数学文献、编程语言语义学.会议的第一天举办了一场报告会,庆祝M.Coppc,M.DezaniCiancaylini和S.R.D.Rocca的60岁生日,这三位研究人员是世界理论计算机科学家团体中的著名人物,特别是在λ演算、类型理论及编程语言的语义学研究方面.为此在本书的卷首有一篇关于这三位科学家的简短研究传记.

本书分成两个部分.第一部分特邀演讲有5篇.它们是：1.在线旅行写作技巧的洞察力与惰性；2.λ理论与模型的边界特性证明；3.适当的λ模型能否有递归可枚举等式理论；4.面向怎么写作计算的以话路为中心的计算；5.基础中的对称,除了第4篇为全文以外,其余各篇只是演讲或介绍的摘 要.第二部分15篇参会论文.1.关于稠密施泰纳树问题的可逼近性；2.有中的弱模式匹配：连接分支数量的极小化；3.弱马尔可夫双相似性：从优先代/加权内部立即作用中提取；4.关于类的非干扰分析；5.O*(1.997711)中极小有向反馈顶点集合计算；6.在网络中查找树和它们的分支是严格的；7.并行系统中模糊行为建模；8.合成编译的形式框架；9.类似Ja语言中多态方法的类型推论；10.流多重集合的排序；11.随机重排简单算法分析；12.多项式时间趋近模型的测量检测设及有效性；13.布尔动态系统中固定点计算的二分法结果；14.弱Presburger算术中的可定义集合；15.公开密钥模型中知识的定义证明.

本书可供从事计算机科学理论及应用的研究人员及研究生阅读参考.

胡光华,

高级软件工程师

(原中国科学院物理学研究所)

HuGuanghua,SeniorSoftwareEngineer

(FormerInstituteofPhysics,CAS)