停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

1992年第96卷第1期

1990年3月在意大利圣米尼亚托举行的第二次并发性和组合性研讨会论文集

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/NielsenRT92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/NielsenRT92
莫根斯·尼尔森,格列泽戈兹·罗森伯格,P.S.Thiagarajan先生:
基本过渡系统。 3-33
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MukundT92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MukundT92
马达瓦恩·穆昆德,P.S.Thiagarajan先生:
井分支事件结构的逻辑特征。 35-72
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Meseguer92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Meseguer92
何塞·梅塞盖尔:
条件重写逻辑作为并发的统一模型。 73-155
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BradfieldS92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BradfieldS92
朱利安·布拉德菲尔德,科林·斯特林:
无限状态空间的局部模型检查。 157-174
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BestK92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BestK92
艾克·贝斯特,库特尼:
优先级系统的Petri网语义。 175-174
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BerryB92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BerryB92
杰拉德·贝瑞,热拉尔·布多尔:
化学文摘机。 217-248
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AstesianoGR92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AstesianoGR92
埃吉迪奥·阿斯泰西亚诺,亚历山德罗·吉奥维尼,吉安娜·雷吉奥:
观测结构及其逻辑。 249-283

第96卷第2期，1992年

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GargR92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GargR92
维杰·K·加格,M.T.拉古纳:
并发正则表达式及其与Petri网的关系。 285-304
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Huynh92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Huynh92
Dung T.Huynh先生:
非一致复杂性和某些完整语言的随机性。 305-324
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ItoJST92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ItoJST92
伊藤正美,赫尔穆特·尤根森,Huei Jan Shyr女士,加布里埃尔·蒂尔林:
n元子集是代码的语言。 325至344
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Barua92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Barua92
拉娜·巴鲁阿:
欧米伽正则语言的Hausdorff-Kuratowski层次结构和Muller自动机的层次结构。 345-360个
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Prambeck92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Plambeck92
Thane E.Plambeck公司:
菊花、凯尔斯和米塞雷八音节游戏中的希尔伯特-康威分解。 361-388
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Ferguson92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Ferguson92
托马斯·弗格森:
在克里格斯皮尔与主教和骑士交配。 389-403
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DuchampK92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DuchampK92
杰拉德·杜尚,丹尼尔·克罗布:
关于部分交换Shuffle乘积。 405-410
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Slobodova92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Slobodova92
安娜·斯洛博多娃:
具有普遍状态ONly的空间有界同步交替都灵机的一些性质。 411-419

服务

管理网站设置

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