默认搜索操作

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

问别人

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

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

1991年第82卷第1期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/WeihrauchK91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/WeihrauchK91
克劳斯·维赫劳赫（Klaus Weihrauch）,克里斯托夫·克里茨:
康托空间上函数的计算复杂性。 1-18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Lando91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Lando91
芭芭拉·兰多:
D0L系统的周期性和最终周期性。 19-33
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Hebrard91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Hebrard91
珍妮·雅克·赫布拉德:
一种通过比特串的子序列有效区分比特串的算法。 35-49
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Ko91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Ko91
Ker-I Ko公司:
关于自适应与非自适应有界查询机。 51-69
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Mignosis91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Mignosis91
菲利波·米格诺西:
斯图尔语词汇的因素数。 71-84
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Snir91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Snir91
史尼亚:
单调算术电路的尺寸深度权衡。 85-93
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/EngelfrietLR91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/EngelfrietLR91
乔斯特·恩格弗里特,乔治·雷,格列泽戈兹·罗森伯格:
图文法中的非末端分离。 95-111
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DietzfelbingerMS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DietzfelbingerMS91
马丁·迪兹费尔宾格,沃尔夫冈·马斯,乔治·施尼特:
单带离线图灵机上矩阵转置的复杂性。 113-129
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/SalomaaY91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/SalomaaY91
凯·萨洛马,盛宇（Sheng Yu）:
E0L文法结构等价性的可判定性。 131-139
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Robson91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Robson91
J.M.罗布森:
从RAM计算到可满足性的O（T log T）简化。 141-149
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CaludeI91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CaludeI91
克里斯蒂安·卡鲁德,加布里埃尔·伊斯特拉特:
几类部分递归函数的判定集和平稳集。 151-155
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/PalkoSV91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/PalkoSV91
弗拉基米尔·帕尔科,昂德雷·西科拉,伊姆里希·弗托:
合并的区域复杂性。 157-163
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Leo91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Leo91
Joop M.I.M.利奥:
一种不使用Lookahead的通用无上下文分析算法，在每个LR（k）文法上以线性时间运行。 165-176

1991年第82卷第2期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Bauderon 91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Bauderon91
米歇尔·鲍德龙:
无限超图I.基本性质。 177-214
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GermanoM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GermanoM91
乔治·热尔马诺,斯特凡诺·马扎蒂:
闭包函数和一般迭代作为反射器。 215-252
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AbadiL91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AbadiL91
马丁·阿巴迪,莱斯利·兰伯特:
精化映射的存在性。 253-284
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BaetenB91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BaetenB91
Jos C.M.Baeten先生,简·A·伯格斯特拉:
使用状态运算符的递归流程定义。 285-302
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LukassenV91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LukassenV91
阿克塞尔·卢卡斯森,戈特弗里德·沃森:
通用关系模型中交易独立性的形式框架。 303-327
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Szwast91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Szwast91
维斯拉夫·斯瓦斯特:
关于号角谱。 329-339
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HowellRY91a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HowellRY91a
罗德尼·R·豪厄尔,路易斯·E·罗齐尔,徐春燕:
Petri网公平性和时序逻辑问题的分类。 341-372
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DenisD91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DenisD91
弗朗索瓦·丹尼斯,Jean-Paul Delahaye公司:
标准纯序言是否有公理语义。 373-388
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Curien91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Curien91
皮埃尔·路易斯·居里:
环境机器的抽象框架。 389-402
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BadouelD91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BadouelD91
埃里克·巴杜埃尔,菲利普·达伦多:
关于保护递归。 403-408
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Hoofman 91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Hoofman91
雷蒙德·霍夫曼:
Hoare逻辑的弱表达模型。 409-418

管理网站设置

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