停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

1990年第74卷第1期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Diekert90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Diekert90
沃尔克·迪克特:
线性时间内可解的痕迹上的单词问题。 3-18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/FussellT90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FussellT90
唐纳德·福塞尔,罗摩克里希纳·图瑞米拉:
并行图算法中的逐次逼近。 19-35
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Gavilanes-FrancoL90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Gavilanes-FrancoL90
安东尼奥·加维兰斯·弗兰科,弗朗西斯卡·卢西奥·卡拉斯科:
部分函数的一阶逻辑。 37-69
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/90年1月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Jancar90
彼得·詹卡尔:
Petri网时间逻辑问题的可判定性。 71-93
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/PrepeataT90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/PrepartaT90
佛朗哥P.Preparata,罗伯托·塔马西娅:
具有最佳查询时间的动态平面点定位。 95-114
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Szepietowski90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Szepietowski90
安德烈·斯泽皮托夫斯基（Andrzej Szepietowski）:
如果确定性和非确定性空间复杂度相等对数log n，那么它们也相等于对数n. 115-119
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Gastin90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Gastin90
保罗·加斯廷:
Un Modèle Asynchronce pour les Systèmes Distributusés非同步浇注系统。 121-162

第74卷第2期，1990年

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GecsegJ90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GecsegJ90
费伦斯·盖西格,赫尔穆特·尤根森:
孤子自动机乘积表示的自动机。 163-181
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/OommenHM90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/OommenHM90
B.约翰·奥门,E.R.汉森,J.伊恩·蒙罗:
确定性最优和方便后移列表组织策略。 183-197
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Okulicka90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Okulicka90
费利卡·奥库利卡:
论Cosy中的优先权。 199-216
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HartmanisH90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HartmanisH90
哈特马尼斯,A.赫马昌德拉巷:
强大的机器接受简单设置。 217-225
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Bezem90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Bezem90
马克·贝泽姆:
重新审视决议的完整性。 227-237
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Huttel90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Huttel90
汉斯·海特尔:
SnS可以进行模态表征。 239-248
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Kummer90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Kummer90
马庭·库摩:
弗里德伯格定理的简单无优先级证明。 249-251

1990年第74卷第3期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/张YD90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ZhangYD90
张京忠,陆洋,迈克·登:
力学定理证明的并行数值方法。 253-271
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Fernandez-CamachoS90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Fernandez-CamachoS90
玛丽亚·伊内斯·费尔南德斯·卡马乔,Jean-Marc斯特亚特:
计算机代数中的代数简化：自下而上算法分析。 273-298
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/He90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/He90
新河:
一种有效的三角形平面图边着色算法。 299-312
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BabaiPRS90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BabaiPRS90
拉斯洛·巴拜,帕维尔·普德拉克,Vojtech罗德尔,恩德雷·斯泽梅雷迪:
对称布尔函数复杂性的下限。 313-323
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Hertranpf90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Hertranpf90
乌尔里希·赫斯特兰夫:
Mod-Class之间的关系。 325-328
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Romeuf90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Romeuf90
Jean-François Romeuf女士:
求解两个线性丢番图方程组的多项式算法。 329-340
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Anselmo90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Anselmo90
马塞拉·安塞尔莫:
苏尔代码ZigZag et Leur Décidabilityé。 341-354
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Szymanski90
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Szymanski90
杰日·西曼斯基:
递归树上算法的复杂性。 355-361

服务

管理站点设置

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