停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

1980年第12卷

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Jafe80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Jaffe80
杰弗里·贾菲:
在不充分使用处理器资源的情况下高效地调度任务。 1-17
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Shaheb-Djahromi80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Saheb-Djahroi80
纳赛尔·萨赫布·贾罗米:
不确定性措施的CPO。 19-37
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Winkowski80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Winkowski80
约泽夫·温科夫斯基:
并发系统的行为。 39-60
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Harel80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Harel80
哈雷尔:
正则确定性程序正确性的证明：使用动态逻辑的统一综述。 61-81
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AusielloMP80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AusielloMP80
乔治奥·奥斯耶罗,阿尔贝托·马切蒂-帕卡米拉,马尔科·普罗塔西:
NP-完全优化问题分类的统一方法。 83-96
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Monier80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Monier80
蒙尼尔:
两种有效概率素数测试算法的评估与比较。 97-108
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Mignotte80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Mignotte80
莫里斯·米尼奥特:
Primalite试验。 109-117
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Grant80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Grant80
菲利普·格兰特:
复杂性理论中的一些更独立的结果。 119-126
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/EhrenfeuchtR80a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/EhrenfeuchtR80a
安德热伊·埃伦费奇特,格列泽戈兹·罗森伯格:
E0L系统中的歧义。 127-134
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MaurerSW80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MaurerSW80
赫尔曼·A·毛雷尔,阿尔托·萨洛马,德里克·伍德:
同步E0L表格。 135-159
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Angluin80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Angluin80
达娜·安格鲁因:
关于计数问题和多项式时间层次。 161-173
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Cousineau80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Cousineau80
盖·库西诺:
控制结构的代数定义。 175-192
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Beatty80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Beatty80
约翰·C·贝蒂:
LL（k）语言的两个迭代定理。 193-228
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Tiuryn80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Tiuryn80
Jerzy Tiuryn公司:
唯一固定点与最小固定点。 229-254
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DobkinM80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DobkinM80
大卫·P·多布金,J.伊恩·蒙罗:
确定模式。 255-263
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/JoshiLY80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/JoshiLY80
阿拉文德·乔希,利昂·S·利维,康岳:
程序设计语言中的局部约束第一部分：语法。 265-290
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Oppen80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Oppen80
德里克·奥本:
理论的复杂性、凸性和组合。 291-302
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Valiant80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Valiant80
莱斯利·瓦利安特:
否定可能具有指数级的威力。 303-314
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MunroP80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MunroP80
J.伊恩·蒙罗,迈克·帕特森:
储存有限的选择和分拣。 315-323
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BoeLR80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BoeLR80
Jean-Marie Boé,阿尔多·德卢卡,安东尼奥·雷斯蒂沃:
最小完备词集。 325-332
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GillHS80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GillHS80
约翰·吉尔,詹姆斯·亨特,Janos西蒙:
带边界概率图灵机传感器的确定性模拟。 333-338
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/EhrenfeuchtR80b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/EhrenfeuchtR80b
安德烈·埃伦菲赫特,格列泽戈兹·罗森伯格:
关于D0L序列等价问题的一个界。 339-342

服务

管理站点设置

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