停止战争！

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

对于科学家：

默认搜索操作

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

问别人

LCC 1994：美国印第安纳州印第安纳波利斯

>主页 >会议和研讨会 >低成本航空公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/1994年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/1994
丹尼尔·利万特:
逻辑和计算复杂性。精选论文。逻辑和计算复杂性，LCC’94国际研讨会，美国印第安纳州印第安纳波利斯，1994年10月13日至16日。计算机科学讲义960,施普林格 1995，国际标准图书编号3-540-60178-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Cardone公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Cardone94网址
费利斯·卡多内:
严格的有限性和可行性。 1-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Parikh94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Parikh94
罗希特·帕里赫:
逻辑综合科学。 22-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Sazonov94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Sazonov94
弗拉基米尔·余（Vladimir Yu）。萨佐诺夫:
关于可行数。 30-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Bloch94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Bloch94
斯蒂芬·布洛赫:
关于并行层次结构和R_k^i。 52-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/BergerS94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/BergerS94
乌尔里希·伯杰,赫尔穆特·施维赫滕贝格:
从经典证明中提取程序。 77-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Clote94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Clote94
彼得·克洛特:
计算模型和函数代数。 98-130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Constable公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Constable94
罗伯特·康斯特布尔:
用建构型理论表达计算复杂性。 131-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Girard公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Girard94
吉恩·伊夫·吉拉德:
轻型线性逻辑。 145-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Leivant94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Levant94
丹尼尔·利万特:
内在理论与计算复杂性。 177-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Buss94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Buss94
塞缪尔·巴斯:
关于赫伯兰德定理。 195-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/KrajicekP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/KrajicekP94
扬·克拉切克,帕维尔·普德拉克:
S_2^1和EF的密码学猜想的一些结果。 210-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Takeuti公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Takeuti94网址
盖西·塔库蒂:
防弗雷格系统和TNC°。 221-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Bellantoni94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Bellantoni94网址
斯蒂芬·贝兰托尼:
用多项式输出长度的类型2递归表征并行时间。 253-268
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Seth94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Seth94
阿尼尔·塞思:
类型2多项式层次结构。 269-280
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Wainer94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Wainer94网址
斯坦利·韦纳:
N上终止递归程序的层次结构。 281-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/CenzerR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/CenzerR94
道格拉斯·A·岑泽,杰弗里·伦梅尔:
可行的分类模型。 300-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/G94级
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/GradelG94
埃里希·格拉德尔,尤里·古雷维奇:
亚有限模型理论。 313-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/KhousainovN94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/KhousainovN94
巴哈迪尔·库萨诺夫,阿尼尔·内罗德:
结构的自动表示。 367-392
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Dawar94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Dawar94
阿努杰·达瓦尔:
有限结构的受限二阶逻辑。 393-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Fagin94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Fagin94
罗纳德·费金:
比较Monadic NP游戏的威力。 414-425
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/GrumbachST94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/GrumbachST94
Stéphane Grumbach酒店,苏建文,克里斯托夫·托鲁:
线性约束查询语言：表达能力和复杂性。 426-446
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Lindell94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/Lindell94
史蒂文·林德尔:
一阶逻辑的常数空间序列计算模型。 447-462
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/Makowsky第94页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/MakowskyP94
约翰·马科斯基,Y.B.普努利:
统一捕获相对复杂度类的逻辑。 463-479
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/RosenW94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/RosenW94
埃里克·罗森,斯科特·温斯坦:
有限模型理论中的保存定理。 480-502
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lcc/SuciuT94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lcc/SuciuT94
丹素秋（Dan Suciu）,瓦尔·坦宁:
NC的查询语言。 503-514

服务

管理网站设置

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