停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第15届CSL 2001：法国巴黎

>主页 >会议和研讨会 >CSL公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/2001
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/2001
劳伦特·弗里堡:
计算机科学逻辑，第15届国际研讨会，CSL 2001。2001年9月10日至13日，在法国巴黎举行的欧洲原子能委员会第十届年会，会议记录。计算机科学课堂讲稿2142,施普林格 2001，国际标准图书编号3-540-42554-3

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/OHearnRY01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/OHearnRY01
彼得·W·奥赫恩,约翰·雷诺兹,杨红seok:
关于改变数据结构的程序的局部推理。 1-19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Bussche01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Bussche01
简·范登·巴斯彻（Jan Van den Bussche）:
阿尔弗雷德·塔斯基思想在数据库理论中的应用。 20-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Girard01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Girard01
吉恩·伊夫·吉拉德:
原地：从逻辑规则到规则逻辑。 38

已投稿论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Kanovich01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Kanovich01
马克斯·卡诺维奇:
霍恩一元线性逻辑的表达能力。 39-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/GuglielmiS01文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/GuglielmiS01
阿莱西奥·古列尔米,Lutz Stra汉堡:
结构微积分中的非交换性和MELL。 54-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Mogbil01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Mogbil01
处女莫比尔:
非交换逻辑的二次正确性准则。 69-83

描述复杂性

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/ChenS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/ChenS01
陈一佳（音）,沈恩绍:
通过分区捕获复杂性。 84-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/GroheW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/GroheW01
马丁·格罗,斯特凡·沃尔尔:
一个存在局部性定理。 99-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Marion01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Marion01
珍妮·伊夫·马里恩:
实际算法和可行性。 115-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Schweikardt01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Schweikardt01
妮可·施韦卡特:
有理群和实数有序群上欧米伽表示数据库的自然有序泛型崩溃。 130-144

语义学

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/PowerT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/PowerT01
约翰·鲍尔,康斯坦蒂诺斯·图拉斯:
Higraph的代数基础。 145-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KorovinaK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KorovinaK01
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
实数上二阶可计算性的语义特征。 160-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/罗宾逊R01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/罗宾逊R01
埃德蒙·罗宾逊,朱塞佩·罗索里尼:
对可实现性的抽象观察。 173-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/DanosH01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/DanosH01
文森特·达诺斯,罗素·哈默:
《天真剖析》。 188-202

高阶程序

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Bezem01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Bezem01
马克·贝泽姆:
一种改进的高阶逻辑程序的扩展性准则。 203-216
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/StarkN01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/StarkN01
罗伯特·施塔克,斯坦尼斯拉斯·南辰:
抽象状态机的逻辑。 217-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Eijck01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Eijck01
扬·范·埃伊克:
约束超表辅助。 232-246

模态逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/LutzSW01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/LutzSW01
卡斯滕·卢茨,乌尔里克·萨特勒,弗兰克·沃尔特:
模态逻辑和双变量片段。 247-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Koriche01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Koriche01
Frédéric Koriche:
近似一阶推理逻辑。 262-276
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/DawarGK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/DawarGK01
阿努杰·达瓦尔,埃里希·格拉德尔,斯蒂芬·克鲁泽:
模态逻辑中的通货膨胀不动点。 277-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/AlechinaMPR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/AlechinaMPR01
娜塔莎·阿列奇纳,迈克尔·门德勒,瓦莱丽亚·德佩瓦,艾克·里特:
构造S4模态逻辑的范畴语义和克里普克语义。 292-307

验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/拉斯穆森01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Rasmussen01网址
托马斯·马尔瑟达尔·拉斯穆森:
区间逻辑的标记自然演绎。 308-323
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BoerE01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BoerE01
弗兰克·S·德·波尔,罗杰尔·范·埃伊克:
对象结构的可决定导航逻辑。 324-338
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/CharatonikT01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/CharatonikT01
维托尔德·查拉托尼克,Jean-Marc Talbot公司:
模型检查移动环境的可决定性。 339-354

自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 文件/csl/GalotaV01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/GalotaV01
马提亚斯·加洛塔,赫里贝特·沃尔默:
Büchi-Elget-Trakhtenbrot定理的推广。 355-368
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Finkel01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Finkel01
奥利维尔·芬克尔:
Wagner层次结构到盲反自动机的有效扩展。 369-383
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Klaedtke01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Klaedtke01
费利克斯·克莱特克:
WS1S扩展的决策程序。 384-398

Lambda-微积分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Akama01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Akama01
阿卡玛（Yohji Akama）:
将部分组合代数限制为无限Lambda-Calculi和经典逻辑。 399-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/RoccaR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/RoccaR01
西蒙娜·隆奇·德尔拉·罗卡,卢卡·罗维斯:
交叉逻辑。 414-428
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Schroder01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Schroder01
卢茨·施罗德:
没有终端类型的寿命。 429-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/AbramskyL01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/AbramskyL01
萨姆森·阿布拉姆斯基,玛丽娜·莱尼萨:
简单类型lambda-Calculus的完全完备最小PER模型。 443-457

归纳

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Martin01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Martin01
凯·马丁:
归纳法原理。 458-468
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BaazM01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BaazM01
马提亚斯·巴兹,格奥尔格·莫瑟:
关于Herbrand定理的推广。 469-483
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Goubault-Larrecq01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Goubault-Larrecq01
让·古堡-拉雷克:
基础良好的递归关系。 484-497

等式微积分

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Schmidt-Schauss01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Schmidt-Schauss01
曼弗雷德·施密特·沙乌:
分层上下文统一在PSPACE中。 498-512
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/ArmandoRR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/ArmandoRR01
亚历山德罗·阿曼多,西尔维奥·兰伊斯,米夏·鲁西诺维奇:
通过叠加统一推导决策程序。 513-527
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Rosu01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Rosu01
格里戈·罗苏:
完成范畴等式演绎。 528-538
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Ohsaki01公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Ohsaki01网址
大崎仁:
超越正则性：关联和交换理论的等式树自动机。 539-553

类型构造理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Courtieu01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Courtieu01网站
皮埃尔·科蒂厄:
规范化类型。 554-569
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KopylovN01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KopylovN01
阿列克谢·科帕洛夫,亚历克西·诺金:
命题类型理论的马尔可夫原理。 570-584
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Schurmann01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Schurmann01
卡斯滕·舒尔曼:
高阶编码的递归。 585-599
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Matthes01文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Matthes01
拉尔夫·马提斯:
等级2的单音感应和共导构造器。 600-614

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。