停止战争！

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

对于科学家：

默认搜索操作

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

问别人

理论计算机科学，第152卷

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第152卷第1期，1995年12月11日

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Fredholm95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Fredholm95
丹尼尔·弗雷德霍姆:
函数定义的内涵。 1-66
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Hodges95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Hodges95
威尔弗里德·霍奇斯:
规范的含义I：域和初始模型。 67-89
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AstesianoC95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AstesianoC95
埃吉迪奥·阿斯泰西亚诺,毛拉·塞里奥利:
部分条件规范的自由对象和等式演绎。 91-138
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KuriharaO95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KuriharaO95
黑原Masahito Kurihara,大内Azuma Ohuchi:
非复制术语重写的模块化。 139-169

第152卷第2期，1995年12月25日

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BenvenisteLFG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BenvenisteLFG95
阿尔伯特·本文尼斯特,伯纳德·利维,埃里克·法布雷,保罗·勒格尼奇:
混合随机/非随机系统的规范、模拟和隐状态估计的随机系统演算。 171-217
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Seidel95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Seidel95
凯伦·塞德尔:
概率沟通过程。 219-249
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AcetoJ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AcetoJ95
卢卡·埃特罗,阿兰·杰弗里:
一类时间正则行为的时间互模拟的完全公理化。 251-268
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Verma95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Verma95
拉凯什·M·维尔玛:
改写系统的转换和汇流。 269-283
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/IverardiN95a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/InverrardiN95a
保拉·因弗拉迪,莫妮卡·内西:
非线性项重写系统的无限正规形式。 285-303
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Banach95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Banach95
理查德·巴纳赫:
在双推出法中定位收缩。 305-320

服务

管理网站设置

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