第14届LICS 1999:意大利特伦托
-
第十四届IEEE计算机科学逻辑年会,意大利特伦托,1999年7月2-5日。 IEEE计算机学会 1999 ,国际标准图书编号 0-7695-0158-3
邀请的谈话
哈维·弗里德曼 :
一些非常复杂的决策问题。 2-12
第1部分
埃里希·格拉德尔 , 埃里克·罗森 :
正则性的双变量描述。 14-23 哈拉尔德·甘津格 , 克里斯托夫·梅耶 , 玛格斯·维恩斯 :
具有传递关系的双变量保护碎片。 24-34 劳里·海拉 , 列奥尼德·利布金 , Juha Nurmonen公司 , 黄利顺(Limsoon Wong) :
使用聚合运算符的逻辑。 35-44 埃里希·格拉德尔 , 伊戈尔·瓦卢基维奇 :
保护定点逻辑。 45-54
第2部分
阿兰·杰弗里 , 朱利安·拉特克 :
走向局部名称的双模拟理论。 56-66 马塞洛·菲奥雷 , 吉安·卢卡·卡塔尼 , 格林·温斯克 :
弱互模拟和开放映射。 67-76 亚历克斯·K·辛普森 :
类别的基本公理。 77-85
第3部分
安妮迪亚·班纳吉 , 内文·海因策 , 乔恩·G·里克 :
区域分析和多态Lambda演算。 88-97 塞雷内拉·塞里托 , 迪莉娅·凯斯纳 :
模式匹配作为切割消除。 98-108 安东尼奥·布恰雷利 , 西尔维娅·德洛伦齐斯 , 阿道夫·皮佩诺 , 伊万诺·萨尔沃 :
交叉点类型的一些计算属性。 109-118 A.J.Kfoury公司 , 圣地亚哥·M·佩里克斯-吉尔森 :
递归定义的类型推断。 119-128 约瑟夫·哈珀(Joseph Y.Halpern) , 尼尔·弗里德曼 :
合理性度量和默认推理:概述。 130-135
第4次会议
达里奥·科拉佐 , 乔治·盖利 :
在Kernel Fun中键入递归类型。 137-146 索菲亚·德罗索波卢 , 苏珊·艾森巴赫 , 戴维·雷格 :
碎片微积分-走向独立编译、链接和二进制兼容性的模型。 147-156 米歇尔·博雷尔 , 洛科·德·尼古拉 , 罗萨里奥·普格利泽 :
密码过程的证明技术。 157-166 德克斯特·科赞 :
关于霍尔逻辑和Kleene代数及其测试。 167-172
第5部分
迈克尔·马兹 , 亚历山大·罗尔 , 托马斯·斯特里彻 :
通过可实现性实现全面抽象和普遍性。 174-182 大卫·J·派姆 :
关于串谓词逻辑。 183-192 马塞洛·菲奥雷 , 戈登·普洛金 , 丹尼尔·图里 :
抽象语法和变量绑定。 193-202
第6部分
马丁·霍夫曼 :
高阶抽象句法的语义分析。 204-213 默多克·加贝 , 安德鲁·皮特斯 :
一种新的包含活页夹的抽象语法方法。 214-224 米克尔·博菲尔 , 吉勒姆·戈多伊 , 罗伯特·尼文胡斯 , 阿尔伯特·鲁比奥 :
非单调序的副调制。 225-233 哈里什·德瓦拉扬 , 多米尼克·J·D·休斯 , 戈登·普洛金 , 沃恩·R·普拉特 :
Chu空间乘法线性逻辑的完全完备性。 234-243
邀请的谈话
第7部分
简·约翰森 :
弱有界算法、Diffie-Hellman问题和Constable的K类。 268-274 阿尔伯特·阿塞里亚斯 , Phokion G.Kolaitis公司 :
有限集理论中的一阶逻辑与定点逻辑。 275-284 约阿希姆·尼伦 , 马丁·米勒 , Jean-Marc Talbot公司 :
原子集约束的包含是PSPACE-Complete。 285-294 哈拉尔德·甘津格 , 汉斯·德尼维尔 :
守卫碎片的叠加决策程序。 295-303
第8部分
乔治·戈特洛布 , 莱因哈德·皮克勒 :
使用武器:赫布兰德模型原子表示的复杂性结果。 306-315 列奥尼德·利布金 :
带有计数、辅助关系和不变查询下限的逻辑。 316-325 马蒂亚斯·鲁尔 :
计数和加法不能表示确定性传递闭包。 326-334
第9部分
E.艾伦·艾默生 , 理查德·特雷弗 :
参数化定量时间推理。 336-343 奥古斯汀·巴齐拉姆瓦博 , 皮埃尔·麦肯齐 , 丹尼斯·塞利安 :
模块化时序逻辑。 344-351 哈维尔·埃斯帕扎 , 阿兰·芬克尔 , 理查·马 :
广播协议的验证。 352-359 法伦·莫勒 , 亚历山大·莫西·拉宾诺维奇 :
论CTL的表达力。 360-368 劳伦斯·保尔森 :
证明安全协议正确。 370-381
第10课时
约瑟夫·哈珀(Joseph Y.Halpern) , 理查德·肖尔 :
关于无限多代理的公共知识推理。 384-393 马克·W·霍普金斯 , 德克斯特·科赞 :
交换Kleene代数中的Parikh定理。 394-401 Jean-Pierre Jouannaud女士 , 阿尔伯特·鲁比奥 :
高阶递归路径排序。 402-411 托尔斯滕·阿滕柯奇 :
内涵型理论中的外延平等。 412-420
第11次会议
罗素·哈默 , 盖伊·麦库斯克 :
有限不确定性的完全抽象游戏语义。 422-430 萨姆森·阿布拉姆斯基 , 保罗·安德烈·梅利埃 :
并发游戏和完整性。 431-442 帕斯奎尔·马拉卡里亚 , 克里斯·汉金 :
非确定性游戏和程序分析:安全应用。 443-452