停止战争！

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

对于科学家：

默认搜索操作

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

问别人

1997年第11届CSL：丹麦奥胡斯

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/1997
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/1997
莫根斯·尼尔森,沃尔夫冈·托马斯:
计算机科学逻辑，第11届国际研讨会，CSL’97，EACSL年会，丹麦奥胡斯，1997年8月23日至29日，论文选集。计算机科学课堂讲稿1414,施普林格 1998，国际标准图书编号3-540-64570-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/AbramskyM97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/AbramskyM97
萨姆森·阿布拉姆斯基,盖伊·麦库斯克:
Call-by-Value游戏。 1-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Ayari公司BP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/AyariBP97
阿卜杜勒瓦赫布·阿亚里,大卫·A·巴思,安德烈亚斯·波德尔斯基:
LISA：一种基于WS2S的规范语言。 18-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BackofenC97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BackofenC97
罗尔夫·巴科芬,彼得·克洛特:
作为计算引擎的进化。 35-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BaillotDER97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BaillotDER97
帕特里克·贝洛特,文森特·达诺斯,托马斯·埃尔哈德,劳伦特·雷格尼尔:
永恒的游戏。 56-77
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BarberGHP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BarberGHP97
安德鲁·巴伯,菲利普·加德纳,长谷正彦,戈登·普洛金:
从动作微积分到线性逻辑。 78-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BonatiO97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BonattiO97网址
皮耶罗·A·博纳蒂,尼古拉·奥利维蒂:
一个连续的包络演算。 98至114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BonetG97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BonetG97
玛丽亚·路易莎·博内,尼古拉·加莱西:
含代换Frege系统的线性下限与仿真。 115-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BraunerP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BraunerP97
托本·布拉纳,瓦莱丽亚·德佩瓦:
基于依赖关系的线性逻辑公式。 129-148
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/BussP97配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/BussP97
塞缪尔·巴斯,托尼安·皮塔西:
分辨率和弱鸽子洞原理。 149-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/ComonJ97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/ComonJ97
休伯特·科蒙,Yan Jurski先生:
高阶匹配和树自动机。 157-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/CoquandP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/CoquandP97
蒂埃里·科昆,亨利克·佩尔森:
赞特玛问题的实证理论研究。 177-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/DurandFL97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/DurandFL97
阿诺德·杜兰德,罗纳德·费金,伯恩德·洛舍尔:
仅含一元函数符号的光谱。 189-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Faggian97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Faggian97网址
克劳迪娅·法吉安:
通过基本逻辑的经典证明。 203-219年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Growhe97文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Grohe97
马丁·格罗赫:
L的经典化^k个-等价性很难实现。 220-238
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/HartonasH97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/HartonasH97
克莱萨菲斯·哈托纳斯,马修·轩尼诗:
具有高阶值传递的函数/并发语言的完全抽象（扩展抽象）。 239-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/HeckmannH97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/HeckmannH97
雷霍德·赫克曼,伦敦帝国学院:
定量语义学的二重性理论。 255-274
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Hofmann97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Hofmann97网址
马丁·霍夫曼:
混合模态/线性Lambda演算及其在Bellantoni-Cook安全递归中的应用。 275-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Hollenberg97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Hollenberg97
马尔科·霍伦伯格:
测试代数的等式公理。 295-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Klarlund97型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Klarlund97
尼尔斯·克拉伦德:
Mona和Fido：实际中的逻辑自动连接。 311-326
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KupfermanKY97公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KupfermanKY97
奥尔娜·库普夫曼,罗伯特·P·库尔山,米哈利斯·扬纳卡基斯:
存在简化层次结构。 327-340
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/莫斯科97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Moschovakis97网址
伊安尼斯·莫肖瓦基斯:
具有完全递归的类型Lambda-calculus的博弈论、并发和公平模型。 341-359
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/橄榄97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Olive97
油炸橄榄:
非确定性线性时间的一个联合逻辑特征。 360-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Pezzoli97公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Pezzoli97
埃琳娜·佩佐利:
关于2型泛函的计算复杂性。 373-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Power97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Power97
A.约翰·鲍尔:
代数结构的范畴。 389-405
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/RuetF97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/RuetF97
保罗·鲁特,弗朗索瓦·法赫斯:
并发约束编程和非交换逻辑。 406-423
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Schiering97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Schiering97
伊娜·希林:
图上一元二阶逻辑的层次方法。 424-440
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Schweikardt97公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Schweikardt97
妮可·施韦卡特:
一元量词在网格和图片上改变层次。 441-460
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 会议/csl/Schwentick97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Schwentick97
托马斯·施温蒂克:
填充和存在二阶逻辑的表达能力。 461-477
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Staiger97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Staiger97
路德维希·斯泰格:
丰富的欧米伽单词和一元二阶算术。 478-490
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Voda97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Voda97
保罗·J·沃达:
哥德尔T的简单序贯递归归一化。 491-509

服务

管理站点设置

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