理论计算机科学

　G.意大利亚诺等编
　　第10届意大利理论计算机科学会议(ICTCS 2007)于2007年10月3-5日在罗马举行。前几届会议分别于1972、1974、1989、1992、1995、2001、2003及2005年在比萨曼图亚、普拉托等意大利城市举行。本届会议涉及了理论计算机科学的所有领域，讨论了理论计算机科学的最新进展。涉及的主题范围：算法的设计与分析、计算的论文联盟Www.LWlm.com论文联盟*编辑。逻辑与数学文献、编程语言语义学。会议的第一天举办了一场报告会，庆祝M.Coppc,M.Dezani�MCiancaylini和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.类似Java语言中多态方法的类型推论；10.流多重集合的排序；11.随机重排简单算法分析；12.多项式时间趋近模型的测量假设及有效性；13.布尔动态系统中固定点计算的二分法结果；14.弱Presburger算术中的可定义集合；15.祼公开密钥模型中知识的定义证明。
　　本书可供从事计算机科学理论及应用的研究人员及研究生阅读参考。