停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第17届CSL 2003：奥地利维也纳

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/2003
马提亚斯·巴兹,约翰·马科斯基:
计算机科学逻辑，第17届国际研讨会，CSL 2003，EACSL第12届年会，第8届库尔特·哥德尔学术讨论会，KGC 2003，奥地利维也纳，2003年8月25日至30日，会议记录。计算机科学课堂讲稿2803,施普林格 2003，国际标准图书编号3-540-40801-0
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/AbdullaBd03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/AbdullaBd03
帕罗什·阿齐兹·阿卜杜拉,艾哈迈德·布阿贾尼,朱利安·德奥索:
决定单调游戏。 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Aichernig03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Aichernig03网址
伯恩哈德·艾切里尼（Bernhard K.Aichernig）:
通勤V形图。 15-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/安德烈奥利M03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/AndreliM03
Jean-Marc安德烈奥利,劳伦特·马扎雷:
并行构造证明网。 29-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Artemov公司03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Artemov03
谢尔盖·N·阿特莫夫:
回到未来：计算机科学的显式逻辑（受邀演讲）。 43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BodirskyN03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BodirskyN03
曼努埃尔·博迪尔斯基,雅罗斯拉夫·内塞特里:
可数同构模板的约束满足。 44-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BornerBJK03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BornerBJK03
费迪南德·伯纳,安德烈·布拉托夫,彼得·杰文斯,安德烈·克鲁金:
量化约束：算法和复杂性。 58-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Bouajjani公司03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Bouajjani03网址
艾哈迈德·布阿贾尼:
无限状态系统的验证（教程）。 71
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Bradfield03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Bradfield03
朱利安·布拉德菲尔德:
确定独立性的缺陷对等。 72-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Brunnler03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Brunnler03网址
凯·布伦勒:
经典逻辑的原子截消。 86-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Buchberger公司03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Buchberger03网址
布鲁诺·巴赫伯格:
计算数学、计算逻辑和符号计算（特邀讲座）。 98-99
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/ChatterjeeJH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/ChatterjeeJH03
克里希南德·查特吉,马金·尤金斯基（Marcin Jurdzinski）,托马斯·亨辛格:
简单随机奇偶博弈。 100-113
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/陈F03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/ChenF03
陈一佳（音）,Jörg Flum公司:
W族类的机器表征。 114-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/骑士KRTV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/ChevalierKRTV03
亚尼克骑士,拉尔夫·库斯特斯,米夏·鲁西诺维奇,马修·图鲁阿尼,劳伦特·维格纳龙:
扩展Dolev-Yao入侵者以分析无限数量的会话。 128-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/DantchevR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/DantchevR03
斯特凡·丹切夫,瑟伦·里斯:
相对论与复杂性差距。 142-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/大卫G03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/DavidG03
雷内·戴维,布鲁诺·纪尧姆:
类型伽马的强正规化_ws公司-微积分。 155-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/DawarR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/DawarR03
阿努杰·达瓦尔,大卫·理查德比:
具有对称选择的定点逻辑。 169-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Duparc03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Duparc03
雅克·杜帕克:
积极的游戏和持续的策略。 183-196
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/EiterM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/EiterM03
托马斯·艾特,Kazuhisa Makino公司:
生成命题角理论查询的所有推导性解释。 197-211
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Gerhardy公司03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Gerhardy03网址
菲利普·格哈迪:
切割消除的精细复杂性分析。 212-225
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/GroheS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/GroheS03
马丁·格罗,妮可·施韦卡特:
有限树上一元查询语言的简洁性比较。 226-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/HitchcockLT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/HitchcockLT03
约翰·希区柯克,杰克·H·卢茨,塞巴斯蒂安·特维恩:
维数和随机性的算术复杂性。 241-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Iemhoff03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Iemhof03
罗莎莉·伊姆霍夫:
迈向可受理性证明系统。 255-270
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KahlerW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KahlerW03
德特勒夫·卡勒,托马斯·威尔克:
动态LTL模型检查的程序复杂性。 271-284
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/卡诺维奇V03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KanovichV03
马克斯·卡诺维奇,杰奎琳·瓦泽利斯:
在规划问题中用多项式处理大量但相同的元素。 285-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/库萨诺夫03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/库萨诺夫03
巴哈迪尔·库萨诺夫:
抽象数据类型的代数规格说明。 299-313
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KolaitisP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KolaitisP03
Phokion G.Kolaitis公司,乔纳森·潘塔亚:
论生存卵石游戏的复杂性。 314-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Korovina03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Korovina03网址
玛格丽塔·科罗维纳:
在不进行等式检验的情况下，实数上sigma-Defability的计算方面。 330-344
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KristiansenV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KristiansenV03
拉尔斯·克里斯蒂安森,保罗·J·沃达:
受限程序和哥德尔函数的惊人威力。 345-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Krzeszczakowski03会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Krzeszczakowski03
卢卡斯·克尔泽兹扎科夫斯基（Lukasz Krzeszczakowski）:
树上的卵石游戏。 359-371
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/莱尔德03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Laird03
詹姆斯·莱尔德:
双稳性：序列性的扩展表征。 372-383
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/LeisR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/LeisR03
汉斯·雷,米歇尔·德·罗杰蒙特:
Lempel-ziv压缩字符串上的自动机。 384-396
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/MaksimovaV03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/MaksimovaV03网站
拉里萨·马克西莫娃,安德烈·沃伦科夫:
模态和直觉演算中一些问题的复杂性。 397-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/MetcalfeOG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/MetcalfeOG03
乔治·梅特卡夫,尼古拉·奥利维蒂,Dov M.Gabbay公司:
哥德尔-杜米特逻辑公司的进球导向型卡库利。 413-426
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/MeydenP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/MeydenP03
罗恩·范德梅登,玛纳斯·K·帕特拉:
量子系统中概率的逻辑。 427-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Miquel03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Miquel03网站
亚历山大·米克尔:
IZF集理论的强规范Curry-Howard对应。 441-454
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/MoserZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/MoserZ03
乔治·莫瑟,理查德·扎克:
《艾司隆微积分》（教程）。 455
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/重用03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Reus03
伯恩哈德再利用:
模块化语义和类的逻辑。 456-469
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/萨默尔V03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/SamerV03
马尔科·萨默,赫尔穆特·维斯:
重审CTL查询的有效性。 470-483
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/SatoSKI03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/SatoSKI03网址
佐藤正彦,樱井隆文,谷山由纪夫,Atsushi Igarashi先生:
元变量演算。 484-497
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Schroder03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Schroder03网址
卢茨·施罗德:
部分σ微积分的Henkin模型。 498-512
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/UrbanPG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/UrbanPG03网址
克里斯蒂安·厄本,安德鲁·皮特斯,默多克·加贝:
名义统一。 513-527
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Veith03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Veith03
赫尔穆特·维思:
朋友还是敌人？软件验证社区（受邀讲座）。 528-529
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Vermeulen03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Vermeulen03
Kess F.M.Vermeulen先生:
一阶逻辑的指称语义具有更强的计算能力。 530-543
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Vorobjov03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Vorobjov03
尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
限制Pfaffian函数理论的有效模型完整性（特邀讲座）。 544
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Vorobjov03a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Vorobjov03a
尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
实闭域上的有效量词消除（教程）。 545
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/RybinaV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/RybinaV03
塔蒂亚娜·瑞比纳,安德烈·沃伦科夫:
基于整数的系统中的快速无限状态模型检查（特邀讲座）。 546-573
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Walukiewicz03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Walukiewicz03
伊戈尔·瓦卢基维奇:
制胜策略和控制器合成（教程）。 574
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/张N03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/张N03
于章,大卫·诺瓦:
动态名称创建的逻辑关系。 575-588

服务

管理网站设置

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