停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

1979年第9卷

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Plasted79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Plaisted79
大卫·A·普莱斯特:
快速验证、测试和生成大素数。 1-16
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Duval79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Duval79
Jean-Pierre Duval公司:
自由主义时期与重复。 17月26日
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BergstraK79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BergstraK79
简·A·伯格斯特拉,简·威廉·克洛普:
兰姆达微积分中的丘吉尔-罗瑟策略。 27-38
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Guessarian 79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Guessarian盖萨里安79
伊雷恩·盖萨里安:
程序转换和代数语义。 39-65
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Statman79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Statman79
理查德·斯塔特曼:
直觉命题逻辑是多项式空间完备的。 67-72
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Statman79a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Statman79a
理查德·斯塔特曼:
类型化lambda-Calculus不是初等递归。 73-81
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Wegener79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Wegener79
英戈·韦格纳:
单调复杂度接近二次方的开关函数。 83-97
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/FlajoletRV79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FlajoletRV79
菲利普·弗拉约莱,Jean-Claude拉乌尔,让·维莱明:
计算算术表达式所需的寄存器数。 99-125
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/WechsungB79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/WechsungB79
Gerd Wechsung先生,安德烈亚斯·布兰德斯特:
空间、返回和双重返回复杂性之间的关系。 127-140
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Christol79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Christol79
吉尔斯·克里斯托尔:
合奏Presque Periodiques k-侦察。 141-145
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Wegener79a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Wegener79a
英戈·韦格纳:
Schnorr关于单调网络猜想的反例。 147-150
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Tang79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Tang79
A.唐:
Pω中的链特性。 153-172
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Harrison HY79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HarrisonHY79
迈克尔·哈里森,伊凡·哈维尔,阿米拉姆·耶胡代:
通过转换树研究语法的等价性。 173-205
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Karhumaki79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Karhumaki79
朱哈尼·卡胡马基:
关于交换DT0L系统。 207-220
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Perrin79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Perrin79
多米尼克·佩林:
La Representation Ergodique d'un Automate fini公司。 221-241
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AshcroftF79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AshcroftF79
爱德华·阿什克罗夫特,费斯·菲奇:
不动点理论的广义设置。 243-256
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BloomT79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BloomT79
斯蒂芬·L·布鲁姆,拉尔夫·廷德尔:
结构化流程图方案的代数和图论特征。 265-286
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Nijholt79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Nijholt79
安东·尼霍尔特:
简单链语法和语言。 287-309
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/InoueTNA79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/InoueTNA79
井上胜寿,Itsuo Takanami公司,中村昭弘,塔达西Ae:
单向简单多头有限自动机。 311-328
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Aubin79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Aubin79
雷蒙德·奥宾:
机械化结构归纳第一部分：形式系统。 329-345
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Aubin79a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Aubin79a
雷蒙德·奥宾:
机械化结构归纳第二部分：策略。 347-362
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Reutenuer79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Reutenauer79
克里斯托夫·鲁特诺尔:
Surles Series Associees a Certains Systemes de Lindenmayer系列协会。 363-375
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Ruohonen79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Ruohonen79网址
凯霍·鲁霍宁:
具有非奇异Parikh矩阵的HD0L系统的若干可判定性问题。 377-384
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Rodriguez79
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/罗德里格斯79
F.罗德里格斯:
Familles de Langages Fermees par Crochet Ouvert公司。 385-398

服务

管理网站设置

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