第17届LICS 2002:丹麦哥本哈根
-
第17届IEEE计算机科学逻辑研讨会(LICS 2002),2002年7月22日至25日,丹麦哥本哈根,会议记录。 IEEE计算机学会 2002 ,国际标准图书编号 0-7695-1483-9
FLoC联合邀请讲座
纳塔拉詹·尚卡尔 以下为:
证明的小引擎。 3-
第1部分
第2部分
埃德蒙·克拉克 , 萨默什·贾 , 袁璐 , 赫尔穆特·维思 以下为:
模型检查中的树状反例。 19-29 苏菲·拉普兰特 , 理查德·拉赛因 , 弗雷德里克·马格尼兹(Frédéric Magniez) , 西尔万·佩伦内特 , 米歇尔·德·罗杰蒙特 以下为:
用于模型检查的概率抽象:一种基于属性测试的方法。 30-39 托马斯·W·代表 , 阿列克谢·罗尼诺夫 , 什穆埃尔·萨吉夫 以下为:
三值命题公式的语义最小化。 40-
第3部分
第4次会议
纳迪姆·阿卜杜勒·哈米德 , 钟绍 , 瓦列里·特里福诺夫 , 斯特凡·莫尼尔 , 倪兆忠 以下为:
基础证明携带代码的句法方法。 89-100 阿兰·杰弗里 , 朱利安·拉特克 以下为:
完全抽象的并发对象语义测试。 101-112 伯恩哈德再利用 , 托马斯·斯特里彻 以下为:
对象演算的语义和逻辑。 113-
第5部分
延斯·帕尔斯伯格 , 田昭 以下为:
记录级联和子类型的有效类型推断。 125-136 阿兰·弗里希 , 朱塞佩·卡斯塔尼亚 , 维罗尼克·本扎肯 以下为:
语义子类型。 137-146 马塞洛·菲奥雷 , 罗贝多·迪·科斯莫 , 文森特·巴拉特 以下为:
关于空型和和型Lambda演算中同构的注记。 147-
第6部分
理查德·斯塔特曼 以下为:
关于Lambda Y微积分。 159-166 马可·费拉 , 萨尔瓦托雷拉托雷 , 阿尼埃洛·穆拉诺 以下为:
密集实时游戏。 167-176 卡塔琳·迪马 以下为:
时间自动机中可达性关系的计算。 177-
第7部分
第8课时
马库斯·弗里克 , 马丁·格罗 以下为:
一阶逻辑和一元二阶逻辑的复杂性再认识。 215-224 Jean-Marie Le酒吧 以下为:
由于命题模态逻辑的框架可满足性,0-1律失效。 225-234 石原慎美 , 巴哈迪尔·库萨诺夫 , 萨沙·鲁宾 以下为:
关于自动结构的一些结果。 235-
第9部分
C.-H.卢克·翁 以下为:
三阶理想算法的观测等价性是可判定的。 245-256 马丁·海兰德 , 安德烈亚·沙尔克 以下为:
图上的游戏和顺序可实现函数。 257-264 奥利维耶·劳亨 以下为:
两极化游戏。 265-
第10部分
阿巴斯·艾达拉特 , 安德烈·留尼特 以下为:
领域理论和微分学(一元函数)。 277-286 亚历克斯·K·辛普森 以下为:
直觉集理论模型中递归类型的计算充分性。 287-298 丹尼尔·瓦拉卡 以下为:
指数估值的权力领域。 299-
第11次会议
第12部分
阿尔伯特·阿塞里亚斯 以下为:
不可满足的随机公式很难证明。 325-334 迈克尔·索尔提斯 , 史提芬·古克 以下为:
线性代数的证明复杂性。 335-344 丹尼尔·利万特 以下为:
通过抽象等级校准计算可行性。 345-
第14次会议
第15次会议
弗朗索瓦·拉鲁西尼 , 尼古拉斯·马基 , 菲利普·施诺贝伦 以下为:
具有可遗忘过去的时间逻辑。 383-392 伊恩·霍德金森 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 以下为:
一阶分支时序逻辑的可判定和不可判定片断。 393-402 斯蒂芬·克鲁泽 以下为:
最小值和通货膨胀定点逻辑的表达式等价性。 403-
第16次会议
何塞·德沙奈斯 , 拉德哈·贾加迪桑 , 维涅特·古普塔 , 普拉卡什·帕南加登 以下为:
概率过程弱互模拟的度量模拟。 413-422 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 以下为:
环境逻辑中的可分性、表达性和决定性。 423-432年 米克尔·奈加德 , 格林·温斯克 以下为:
过程语言中的线性。 433-
第17次会议
阿什什·蒂瓦里 以下为:
多项式时间内某些项重写系统的合流判定。 447-