1995年第10届LICS:美国加利福尼亚州圣地亚哥
-
1995年6月26日至29日,美国加利福尼亚州圣地亚哥,IEEE第十届计算机科学逻辑年会论文集。 IEEE计算机学会 1995 ,国际标准图书编号 0-8186-7050-9 尤尼特·凯斯滕 , 阿米尔·普努利 :
QPTL的完整证明系统。 2-12 伊戈尔·瓦卢基维奇 :
命题μ演算的Kozen公理化的完备性。 14-24 奥尔娜·库普夫曼 , 阿米尔·普努利 :
一劳永逸。 25-35 布鲁诺·杜特雷 :
一阶区间时序逻辑的完备证明系统。 36-43 詹姆斯·林奇 , 杰西·提什基维奇 :
稀疏随机图的无穷逻辑。 46-53 阿努杰·达瓦尔 , 埃里希·格拉德尔 :
广义量词和0-1定律。 54-64 格奥尔格·戈特洛布 :
有限结构上的相对对数空间和广义量词。 65-78 Jan Paredaens公司 , 简·范登·巴斯彻(Jan Van den Bussche) , 德克·范·古赫特 :
实域上有限结构的一阶查询。 79-87 拉杰夫·阿鲁尔 , 多龙·A·贝利德 , Wojciech Penczek公司 :
因果关系属性的模型检查。 90-100 莫舍·瓦尔迪 :
关于模块化模型检验的复杂性。 101-111 Farn Wang公司 :
实时系统的时序行为分析。 112-122 艾哈迈德·布阿贾尼 , 拉希德·埃哈希德 , 彼得·哈贝梅尔 :
关于非正则过程非正则性质的验证问题。 123-133 迈克尔·J·C·戈登 :
Verilog HDL的语义挑战。 136-145 戈帕兰·纳达图尔 , 唐纳德·洛夫兰 :
统一证明与析取逻辑程序设计(扩展抽象)。 148-155 弗兰克·普芬宁 :
结构切割消除。 156-166 克里斯托弗·林奇 :
无重复的准调制。 167-177 V.维克托·马雷克 , 阿尼尔·内罗德 , 杰弗里·伦梅尔 :
正规缺省逻辑的复杂性与非单调推理的相关模式。 178-185 亚历克斯·米夫苏德 , 罗宾·米尔纳 , A.约翰·鲍尔 :
控制结构。 188-198 罗布·范·格拉贝克 , 戈登·普洛金 :
配置结构。 199-209 西蒙·盖伊 , 拉贾戈帕尔·纳加拉扬 :
同步过程的类型演算。 210-220 马里诺·米库兰 , 法比奥·加杜奇 :
流程的模态mu类型。 221-231 萨姆森·阿布拉姆斯基 , 盖伊·麦库斯克 :
懒惰lambda-Calculus的游戏和完整抽象。 234-243 阿巴斯·艾达拉特 :
随机过程中的领域理论。 244-254 阿兰·杰弗里 :
一种具有单元类型的并发函数语言的完全抽象语义。 255-264 罗伯特·康斯特布尔 :
类型理论作为计算机科学基础的经验。 266-279 丹尼尔·道尔蒂 , 拉梅什·苏布拉曼尼亚姆 :
存在副产物时函数之间的相等性。 282-291 朱塞佩·隆戈 , 凯瑟琳·米尔斯特德 , 谢尔盖·索洛维耶夫 :
子类型逻辑(扩展抽象)。 292-299 阿道夫·皮佩诺 :
规范化和扩展性(扩展抽象)。 300-310 A.J.Kfoury公司 , J.B.威尔斯 :
类型lambda-Calculi中β-强正规化的约化和非语义证明的新概念。 311-321 阿列克谢·普·斯托尔布什金 :
有限单调特性。 324-330 库沙·埃特萨米 , 尼尔·伊梅尔曼 :
树冠化和传递闭包。 331-341 马丁·奥托 :
具有计数的两个变量的时间正则化。 342-352 阿尼尔·塞思 :
定点逻辑何时捕获复杂类? 353-363 吉尔斯·道克 , 塞雷斯·哈丁 , 克洛德·基什内尔 :
通过显式替换实现高阶统一(扩展抽象)。 366-374 休伯特·科蒙 , 罗伯特·尼文胡斯 , 阿尔伯特·鲁比奥 :
排序、交流理论和符号约束求解(扩展抽象)。 375-385 吉里什·巴特 , 兰斯·克莱维兰 , 奥尔娜·格伦伯格 :
针对CTL*的高效现场模型检查。 388-397 亨利克·赖夫·安徒生 :
部分模型检查(扩展抽象)。 398-407 恩里科·特隆西 :
硬件验证,布尔逻辑编程,布尔函数编程。 408-418 亚历克斯·K·辛普森 :
通过删减实现组合:任意GSOS的轩尼诗-米尔纳逻辑。 420-430 本特·琼森 , 王毅 :
概率过程的成分测试预订单。 431-441 沃恩·R·普拉特 :
石头色域:数学的协调。 444-454 埃里克·帕尔姆格伦 , 维戈·斯托尔滕贝格·汉森 :
逻辑表示域。 455-463 弗朗索瓦·拉马克 :
全命题线性逻辑的游戏语义。 464-473 帕特里克·林肯 , 安德烈·塞德洛夫 , 纳塔拉詹·尚卡尔 :
二阶线性逻辑的决策问题。 476-485 马克斯·卡诺维奇 :
线性逻辑中中性点的复杂性。 486-495 阿列克谢·科帕洛夫 :
线性仿射逻辑的可判定性。 496-504 鲍里斯·特拉赫滕布罗特 :
三位一体的起源和变形:逻辑、网络、自动机。 506-507 休伯特·科蒙 :
序列性、二阶一元逻辑和树自动机。 508-517