停止战争！

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

对于科学家：

默认搜索操作

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

问别人

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

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第149卷第1期，1995年9月18日

精选论文ICDT 1992年

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BuemanNTW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BunemanNTW95
彼得·布内曼,沙米姆·纳格维,瓦尔·坦宁,黄利顺（Limsoon Wong）:
复杂对象和集合类型编程原理。 3-48
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BusscheG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BusscheG95
简·范登·巴斯彻（Jan Van den Bussche）,德克·范·古赫特:
基于对象的数据模型中基数有界集值的表达能力。 49-66
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/GrumbachT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/GrumbachT95
Stéphane Grumbach酒店,克里斯托夫·托鲁:
论计数的表现力。 67-99
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AbiteboulVV95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AbiteboulVV95
谢尔盖·阿比特布尔,莫舍·瓦尔迪,维克托·维亚努:
使用无限逻辑进行计算。 101-128
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KivinenM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KivinenM95
日尔基·基维宁,海基·曼尼拉:
函数依赖关系的近似推断。 129-149
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/FeketeLW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/FeketeLW95
艾伦·D·费科特,南希·A·林奇,威廉·E·威尔:
嵌套事务的混合原子性。 151-178
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/WongA95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/WongA95
王文浩（Man Hon Wong）,迪维坎特·阿格拉瓦尔:
基于对象的数据库中原子数据类型的上下文特定同步。 179-199

第149卷第2期，1995年10月2日

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BrogiT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BrogiT95
安东尼奥·布罗吉,弗朗科·图里尼:
逻辑程序代数的完全抽象组合语义。 201-209
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Costantini95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Costantini95
斯蒂芬妮娅·科斯坦蒂尼:
对带否定的逻辑程序的稳定模型语义的贡献。 231-255
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Abraham95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Abraham95
乌里·亚伯拉罕:
进程间通信与多写入原子寄存器的实现。 257-298
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/MontanariY95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/MontanariY95
乌戈·蒙塔纳里,丹尼尔·扬克列维奇:
参数设置中的位置等效。 299-332
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DesharnaisBSTJMZ95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DesharnaisBSTJMZ95
朱尔斯·德沙奈斯,纳迪尔·贝尔基特,萨拉赫·本·穆罕默德·斯盖尔,Fairouz Tchier公司,阿里·贾瓦,阿里·米利,内吉布·扎吉亚:
在关系代数中嵌入恶魔半格。 333-360
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/Schmidt-SchaussMP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/Schmidt-SchaussMP95
曼弗雷德·施密特·沙乌,马西莫·马尔奇奥里,斯文·埃里克·帕尼茨:
r-一致和左线性项重写系统的模终止。 361-374

服务

管理网站设置

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