停止战争！

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

对于科学家：

默认搜索操作

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

问别人

60.生日：德克斯特·科赞2012

>主页 >会议和研讨会 >生日

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/2012kozen
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/2012kozen网站
罗伯特·康斯特布尔,亚历山德拉·席尔瓦:
逻辑和程序语义学——在德克斯特·科赞60岁生日之际献给他的文章。计算机科学课堂讲稿7230,施普林格 2012，国际标准图书编号978-3-642-29484-6

全文

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/AndrekaMN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthdayAndrekaMN12
哈尼尔·安德雷卡,萨博尔斯·米库拉斯,伊斯特万·内梅蒂:
剩余Kleene代数。 1-11
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/BonchiBRS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/BonchiBRS12
菲利波·邦奇,马塞洛·M·邦桑格,Jan J.M.M.Rutten先生,亚历山德拉·席尔瓦:
Brzozowski代数算法（Co）。 12-23
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/CarmosinoIJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/CarmosinoIJ12
马可·卡莫西奥,尼尔·伊梅尔曼,查尔斯·乔丹:
实验描述复杂性。 24至34
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/陈12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Chen12
胡比·陈:
关于量化约束满足的思考。 35-49
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Dnald12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Donald12
布鲁斯·兰德尔·唐纳德:
操纵机器人的罗盘。 50-65
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Glew12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Glew12
尼尔·格鲁:
F有界量词和等递归类型的子类型。 66-82
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/GoreckiT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/GoreckiT12
帕维尔·戈雷基,Jerzy Tiuryn公司:
在复制、丢失和水平基因转移模型中推断进化场景。第83页至第105页
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Jeannin12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Jeannin12
Jean-Baptiste珍妮:
胶囊和封闭：一种小步方法。 106-123
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Kreitz12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Kreitz12
克里斯托弗·克雷茨:
Nuprl作为范畴理论中自动证明的逻辑框架。 124-148
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/KupkeR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/KupkeR12
克莱门斯·库普克,Jan J.M.M.Rutten先生:
关于自动序列的最终余代数。 149-164
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/MichalewskiN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MichalewskiN12
亨利克·米查勒夫斯基,达米安·尼文斯基:
正则树语言的拓扑完备性。 165-179
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/MossWW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MossWW12
劳伦斯·莫斯,埃里克·温斯特罗姆,格伦·惠特尼:
集合递归项相等的完整逻辑系统。 180-203年
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Palsberg12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Palsberg12
延斯·帕尔斯伯格:
超载是NP-完成-专为Dexter Kozen编写的教程。 204-218
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/骑士MP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/KnightMP12
索菲亚·奈特,拉杜·马尔代尔,普拉卡什·帕南加登:
结合认识逻辑和轩尼诗-米尔纳逻辑。 219-243
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/ParikhTW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/ParikhTW12
罗希特·帕里赫,圣塔斯迪米尔,安德烈亚斯·维策尔:
游戏中的选择和不确定性。 244-255
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/康复U12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/RheofU12
雅各布·雷霍夫,巴维尔·乌尔兹琴:
具有明确交叉点的居住的复杂性。 256-270个
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Salomaa12a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Salomaa12a
阿尔托·萨洛马:
关于反应系统定义的状态序列。 271-282
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/夏普12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Sharp12
Alexa Sharp公司:
关于距离着色——基于与德克斯特·科赞合作的回顾。 283-297
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Winskel12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Winskel12
格林·温斯克:
在信息完全或不完全的并发游戏中获胜、失败和取胜。 298-317

劳达提奥斯

- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Aboul-Hosn12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Aboul-Hosn12
卡迈勒·阿布勒·侯赛因:
关于与Dexter Kozen共度时光的思考。 318至321
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Apt12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Apt12
Krzysztof R.Apt公司:
两篇三页纸的论文。 322
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/ParkerBMM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/ParkerBMM12
约翰·帕克,乔尔·贝恩斯,保罗·米勒,朱莉娅·米勒:
乐队的致敬。 323
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Halpern12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Halpern12
约瑟夫·哈珀（Joseph Y.Halpern）:
德克斯特·科赞：欣赏。 324-325
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/兔子12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Harel12网址
哈雷尔:
德克斯特·科赞：卓越、深度和优雅的完美结合。 326-327
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Hopcroft12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Hopcroft12
霍普克罗夫特:
让世界变得更美好。 328
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Landau12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Landau12
苏珊·兰多:
分时Dexter。 329-332
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Nerode12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Nerode12
阿尼尔·尼罗德:
一份小礼物。 333
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Panangaden12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Panangaden12
普拉卡什·帕南加登:
德克斯特·科赞对标记马尔可夫过程理论的影响。 334-337
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Parikh12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Parikh12
罗希特·帕里赫:
德克斯特·科赞赏析。 338-340
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/SchmidtNS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/SchmidtNS12
埃里克·梅内切·施密特,莫根斯·尼尔森,斯文·斯凯姆:
致德克斯特-奥胡斯致敬。 341
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/Boas12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Boas12
彼得·范·埃姆德·博阿斯:
与Dexter Kozen一同旅行。 342-351
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/赞登12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Zanden12
布拉德·范德·赞登:
德克斯特博士顾问。 352-353
- 看法
  权限控制：
- 出口记录
  dblp密钥：
  - conf/生日/亨林12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Henglein12
弗里茨·亨利恩:
摇滚计算机科学。 354-355

服务

管理网站设置

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