停止战争！

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

对于科学家：

默认搜索操作

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

问别人

《理论计算机科学》第294卷

>主页 >期刊销售 >理论计算机科学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

第294卷，第1/2期，2003年2月

范畴理论与计算机科学

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AdamekEH03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AdamekEH03
杰里·阿达梅克,马丁·霍泽尔·埃斯卡多,马丁·霍夫曼:
前言。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Adamek03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Adamek03
杰里·阿达梅克:
关于连续函子的最后余代数。 3-29
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BucaloFS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BucaloFS03
安娜·布卡洛,卡斯滕·福曼,亚历克斯·K·辛普森:
提升单子的等式概念。 31-60
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/CockettL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CockettL03
J.罗宾B.科克特,斯蒂芬·拉克:
限制类别二：部分地图分类。 61-102
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/佛罗伦萨G03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/佛罗伦萨G03
卡米洛·佛罗伦萨,西尔维奥·吉拉尔迪:
通过在产品类别中重写来结合单词问题。 103-149
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Hildebrandt03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Hildebrandt03
托马斯·希尔德布兰特:
面向公平的范畴模型：有限延迟SCCS的完全抽象预处理语义。 151-181
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HylandS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HylandS03
马丁·海兰德,安德烈亚·沙尔克:
线性逻辑模型的粘合和正交性。 183-231
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Moss03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Moss03
劳伦斯·莫斯:
递归和共递归具有相同的等式逻辑。 233-267
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MurawskiO03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MurawskiO03
安德烈·穆拉夫斯基,C.-H.卢克·翁:
精疲力尽的策略，小丑游戏和完整的IMLL与单位。 269-305
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Tsuiki03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Tsuiki03
Hideki Tsuiki先生:
lax泛型函数的一种领域论语义。 307-331

第294卷第3期，2003年2月

线性逻辑

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GirardOS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GirardOS03
吉恩·伊夫·吉拉德,冈田光弘,安德烈·塞德洛夫:
前言。 333
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Abrusci03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Abrusci03网站
V.米歇尔·阿布鲁西:
非交换逻辑的证明语义：乘法和加法。 335-351
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DanosJS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DanosJS03
文森特·达诺斯,Jean-Baptiste儒瓦内,哈罗德·谢林克斯:
经典逻辑中的计算同构。 353-378
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/游击队MM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GerriniMM03
斯特凡诺·格雷尼,马提尼,安德烈亚·马西尼:
共享证明网的一致性。 379-409
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/McDowell MP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/McDowellMP03
雷蒙德·麦克道尔,戴尔·米勒,帕拉米德斯猫:
在序列演算中对转换系统进行编码。 411-437
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Pratt03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Pratt03
沃恩·R·普拉特:
Chu空间是线性逻辑和数学之间的语义桥梁。 439-471
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/Retore03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Retore03
克里斯蒂安·雷托雷:
漂亮的校对网：完美的匹配和齿状图。 473-488
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Falco03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Falco03
洛伦佐·托托拉·德·法尔科:
线性逻辑和归一化的加法.第1部分：（受限的）Church-Rosser性质。 489-524
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KanovichOS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KanovichOS03
马克斯·卡诺维奇,冈田光弘,安德烈·塞德洛夫:
轻型线性逻辑的相位语义。 525-549
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/NagayamaO03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/NagayamaO03
Misao Nagayama公司,冈田光弘:
非交换线性逻辑乘法片段的图形理论表征定理。 551-573

服务

管理网站设置

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