停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2.CiE 2006：英国威尔士斯旺西

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/2006
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/2006
阿诺德·贝克曼,乌尔里希·伯杰,Benedikt Löwe公司,约翰·V·塔克:
计算障碍的逻辑方法，第二届欧洲可计算性会议，2006年CiE，英国斯旺西，2006年6月30日至7月5日，会议记录。计算机科学课堂讲稿3988,施普林格 2006，十亿3-540-35466-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/AbrahamGS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/AbrahamGS06
埃里卡·阿布拉哈姆,安德烈亚斯·格吕纳,马丁·斯特芬:
堆——具有线程类的面向对象微积分的抽象。 1-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Avron06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Avron06
阿诺·阿夫伦:
从可构造性和绝对性到可计算性和领域独立性。 11-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Backhouse06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Backhouse06网址
罗兰·卡尔·巴克豪斯:
数据类型-通用推理。 21-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Berger06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Berger06网址
约瑟夫·伯杰:
一致连续性定理的逻辑强度。 35-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Bergstra06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Bergstra06网址
简·A·伯格斯特拉:
有理函数域的初等代数规范。 40-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/BrodheadCD06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/BrodheadCD06
保罗·布罗德海德,道格拉斯·森泽,赛义德·达什蒂:
随机闭集。 55-64
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Brunnler06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Brunnler06网址
凯·布伦勒:
深层推理及其派生的正规形式。 65-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/CenzerU06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/CenzerU06
道格拉斯·森泽,齐亚·乌丁:
功能和结构的日志空间复杂性。 75-84
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/ChernovS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/CernovS06
亚历克谢·V·切尔诺夫,尤根·施密杜贝尔（Jürgen Schmidhuber）:
类前缀复杂性和极限的可计算性。 85-93
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Dhalgren06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Dhalgren06
弗雷德里克·达尔格伦:
部分连续函数和可容许域表示。 94-104
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/LagoM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/LagoM06
乌戈·达尔·拉戈,马提尼:
Lambda演算的不变成本模型。 105-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Dantchev06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Dantchev06
斯特凡·丹切夫:
关于Sperner引理的复杂性。 115-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Davis06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Davis06网址
马丁·戴维斯:
教会教育论文：共识与反对。 125-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Dowson06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Dowson06
约翰·道森（John W.Dawson Jr.）。:
哥德尔与计算机科学的起源。 133-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/CasadoC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/CasadoC06
格雷戈里奥·德·米盖尔·卡萨多,胡安·曼努埃尔·加西亚·查米佐:
代数模型和2类有效性理论在专用处理器设计中的作用。 137-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Delvenne06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Delvenne06
让-查尔斯·德尔文:
动力系统中的图灵普遍性。 147-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Doty06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Doty06网址
大卫·多蒂:
每个序列都可以从随机序列中解压缩。 153-162
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Durand-Lose06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Durand-Lose06网址
杰罗姆·杜兰·洛斯:
可逆保守有理抽象几何计算是图灵通用的。 163-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/DyckhoffL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/DyckhoffL06
罗伊·戴克霍夫,圣埃芬·伦格兰:
LJQ：直觉主义逻辑的一个高度聚焦的微积分。 173-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/EhrhardR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/EhrhardR06
托马斯·埃尔哈德,劳伦特·雷格尼尔:
Böhm树、Krivine机器和Lambda-Terms的泰勒展开。 186-197
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Fran曾06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Franzen06
托尔科·弗兰岑（Torkel Franzén）:
不完全性定理给暂停问题的不可解性增加了什么？ 198-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Gherardi06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Gherardi06网址
吉多·格拉迪:
根据有效Borel可测性分析Urysohn和Urysonn-Tietze的引理。 199-208
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Harris06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Harris06网址
查尔斯·哈里斯:
多项式时间界限的枚举可约性。 209-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Hou06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Hou06
铁厚:
基本实计算的共性证明。 221-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Naurois06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Naurois06网址
保林·雅各布·德诺罗斯（Paulin Jacobéde Naurois）:
用于计算领域的空间度量。 231-240
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Kobler06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Kobler06
约翰内斯·科布勒:
关于限制图类的图同构。 241-256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Koepke06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Kepke06
彼得·科普克:
无限时间寄存器机器。 257-266
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KorovinaV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KorovinaV06
玛格丽塔·科罗维纳,尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
Pfaffian混合系统有限双模拟大小的上下限。 267-276
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Krajicek06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Krajicek06
扬·克拉切克:
随机变量强制和证明复杂性。 277-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Kristiansen06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Kristiansen06
拉尔斯·克里斯蒂安森:
复杂性理论层次。 279-288
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KudinovS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KudinovS06
奥列格·库迪诺夫,维克托·塞利瓦诺夫:
有限标记森林同态拟序的不确定性。 289-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Laplante06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Laplante06网址
苏菲·拉普兰特:
使用Kolmogorov复杂性的下限。 297-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/刘易斯06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Lewis06网址
安德鲁·刘易斯:
最小覆盖的跳跃类。 307-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Lowe06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Lowe06网址
Benedikt Löwe公司:
无限计算的空间边界。 319-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Makowsky06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Makowsky06
约翰·马科斯基:
从动物园到动物学：图多项式的描述复杂性。 330-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/MartinM06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/MartinM06
巴纳比·马丁,弗洛伦特·马德兰:
走向量化的三分之一切开术H（H）-着色。 342-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Mayordomo06会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Mayordomo06网址
埃尔维拉·马约多莫:
关于有效维数的两个悬而未决的问题。 353-359
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Meer06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Meer06网址
克劳斯·梅尔:
多项式系统求解相关的优化和逼近问题。 360-367
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/MeerZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/MeerZ06
克劳斯·梅尔,马丁·齐格勒:
真实停机问题下的不可计算性。 368-377
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/MichaelsonC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/MichaelsonC06
格雷格·迈克尔森,保罗·科克肖特:
超计算的约束。 378-387
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Moser06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Moser06网址
菲利普·莫瑟:
鞅族与P。 388-397
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/NemetiA06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/NemetiA06
伊斯特万·内梅蒂,哈尼尔·安德雷卡:
广义相对论计算机能打破图灵障碍吗？。 398-412
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/NgSW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/NgSW06
Keng Meng Ng公司,弗兰克·斯蒂芬,吴国华:
弱可计算领域的度。 413-422
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Oliva06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Oliva06网址
保罗·奥利瓦:
理解和使用经典分析的Spector条递归解释。 423-434
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/PeshevS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/PeshevS06
彼得·佩舍夫,迪米特·斯科德夫:
代数基本定理的次递归改进。 435-444
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/PonseZ06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/PonseZ06
阿尔班·蓬塞,马克·范德兹瓦格:
程序和线程代数简介。 445-458
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Prunescu06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Prunescu06网址
米海普鲁内斯库:
快速量词消除意味着P=NP。 459-470
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Schroder06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Schroder06网址
马蒂亚斯·施罗德:
可计算分析中的允许表示。 471-480
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/SchusterZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/SchusterZ06
彼特·舒斯特,朱莉亚·扎佩:
诺特模有诺特基函数吗？。 481-489
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Schwichtenberg06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Schwichtenberg06网址
赫尔穆特·施维赫滕贝格:
构造分析中的反单调连续函数。 490-504
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Setzer06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Setzer06
安东·塞泽尔:
Martin-Löf型理论中的部分递归函数。 505-515
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/SevensterT06会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/SevensterT06
Merlijn Sevenster公司,特罗·图伦海莫:
部分序连接词与和¹₁有限模型。 516-525
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Krishna06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Krishna06
桑卡拉·纳拉亚南·克里希纳:
带移动膜的P系统计算能力的上下限。 526-535
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Sieg06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Sieg06
威尔弗里德·西格:
哥德尔的有效可计算性冲突方法。 536-537
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Solon公司06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Solon06
鲍里斯·索隆:
共同枚举度。 538-545
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Soskova06公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Soskova06网址
亚历山德拉·A·索斯科娃:
相对度谱。 546-555
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Wiermann06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Wiermann06网址
安德烈亚斯·魏尔曼:
可计算函数的一些自然子类的相变阈值。 556-570
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Welch06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Welch06
菲利普·D·韦尔奇:
Hamkins-Kidder Turing机器的非确定性停机时间。 571-574
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Zach06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Zach06
理查德·扎克:
库尔特·哥德尔和可计算性理论。 575-583
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Zheng06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Zheng06
郑西忠:
实数的可计算性理论。 584-594
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/Zucker06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/Zucker06
杰弗里·扎克:
抽象代数上的本原递归选择函数。 595-606

服务

管理网站设置

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