停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

1991年第86卷第1期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BoerRKP91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BoerRKP91
弗兰克·S·德·波尔，Jan J.M.M.Rutten先生，Joost N.Kok公司，帕拉米德斯猫:
并发逻辑语言的语义模型。 3-33
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BolAK91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BolAK91
罗兰·波尔，Krzysztof R.Apt公司，简·威廉·克洛普:
逻辑程序的循环检查机制分析。 35-79
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Cavedon 91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Cavedon91
劳伦斯·卡文登:
非循环逻辑程序与SLDNF-分解的完备性。 81-92
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/LoboRM91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/LoboRM91
豪尔赫·洛博，阿尔科特·拉贾塞卡尔，杰克·明克:
Horn和析取逻辑程序的语义。第93页至第106页
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/Seki91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Seki91
Hirohisa Seki先生:
展开/折叠分层程序的转换。 107-139

第86卷第2期，1991年

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/AverbuchGW91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AverbuchGW91
阿米尔·阿弗布奇，兹维·郭历理，许缪尔·维诺格拉特:
计算两个多项式乘积模一个多项式的系数的所有最小双线性算法的分类。第二部分：代数G[u]/<u^n>。 143-203
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Spehner91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Spehner91
Jean-Claude斯佩纳:
在地图和铺装中合并。 205-232
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Hashiguchi91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Hashiguchi91
桥口小三郎:
自由部分交换幺半群的可识别闭包和子幺半群。 233-241
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ChrobakE91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ChrobakE91
马雷克·克罗巴克，大卫·艾普斯坦:
低外度平面定向和邻接矩阵的紧性。 243-266
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KrauseMW91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KrauseMW91
马蒂亚斯·克劳斯，克里斯托夫·梅内尔，Stephan Waack公司:
分离橡皮擦图灵机类L_e、NL_e、co-NL_e和P_e。 267-275
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/tcs/GireN91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GireN91
弗朗索瓦斯·吉尔，莫里斯·尼瓦特:
比因芬尼语。 277-323
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BertoniGS91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BertoniGS91
阿尔贝托·贝托尼，马西米利亚诺·戈德沃尔姆，尼科莱塔·萨巴迪尼:
在无上下文语言中计算给定长度的字符串数的复杂性。 325-342
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Seger91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Seger91
卡尔·约翰·H·赛格:
关于速度无关电路的存在性。 343-364
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CapocelliGV91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CapocelliGV91
雷纳托·卡波切利，路易莎·加尔加诺，乌戈·瓦卡罗:
多值编码的具有初始状态不变性的解码器。 365-375
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BenedekI91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BenedekI91
Gyora M.Benedek公司，阿隆·伊泰:
关于固定分布的可学习性。 377-390

服务

管理网站设置

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