停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

1986年第45卷第1期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Broy86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Broy86
曼弗雷德·布罗伊:
非决定论、平行论、交流论和并行论。 1-61
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Crochemore86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Crochemore86
马克西姆·克罗西莫尔:
传感器和重复。 63-86
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GonczarowskiW86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GonczarowskiW86
雅各布·贡扎罗夫斯基,曼弗雷德·K·沃穆特:
通过调度技术操纵衍生森林。 87-119

1986年第2期第45卷

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Dezani-CiancagliniM86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Dezani-CiancagliniM86
Mariangiola Dezani-Ciancaglini公司,伊内斯·玛格丽亚:
F-完全类型赋值的一个特征。 121-157
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Girard86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Girard86
吉恩·伊夫·吉拉德:
15年后的可变类型系统F。 159-192
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Meyer86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Meyer86
约翰·朱尔斯·查·梅耶:
用不动点理论合并正则过程。 193-260

1986年第45卷第3期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HuberJJJ86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HuberJJJ86
彼得·休伯,阿恩·M·延森,莱夫·奥·杰普森,库尔特·延森:
高级Petri网的可达性树。 261-292
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Ait-Kaci86
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Ait-Kaci86
哈桑·阿伊特·卡奇:
有效求解类型方程的代数语义方法。 293-351

服务

管理网站设置

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