默认搜索操作

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

问别人

信息与计算，第122卷

>主页 >期刊销售 >信息与计算

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第122卷第1期，1995年10月

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/GabbrielliLM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/GabbrielliLM95
毛里齐奥·加布里埃利,乔治·列维,玛丽亚·奇亚拉·梅奥:
逻辑程序的可观察行为和等价性。 1-29
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/AikenKW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/AikenKW95
亚历山大·艾肯,德克斯特·科赞,爱德华·L·威默斯:
负约束集约束系统的可判定性。 30-44
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/ChenH95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/ChenH95
洪晨（音）,Jieh Xiang先生:
递归域：它们的统一及其在逻辑编程中的应用。 45-69
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/CoppoG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/CoppoG95
马里奥·科波奥,保拉·贾尼尼:
简单交叉口类型系统的主要类型和统一。 70-96
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/iadc/DeganoG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/DeganoG95
皮耶保罗·德加诺,罗伯托·戈里埃里:
动作精炼的因果操作语义。 97-119
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/Spreen95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Spreen95
Dieter Spreen公司:
关于程序设计中的一些决策问题。 120-139
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/MuthukrishnanR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/MuthukrishnanR95
S.穆图克里希南,H.拉梅什:
一般匹配关系下的字符串匹配。 140-148

第122卷第2期，1995年11月1日

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/deLiguoroP95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/deLiguoroP95
乌戈·德利古罗,阿道夫·皮佩诺:
非类型Lambda-Calculus的非确定扩张。 149-177
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/BarbutiCGM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iadc/BarbutiCGM95
罗伯托·巴布蒂,迈克尔·科迪什,罗伯托·贾科巴齐,迈克尔·J·马赫:
Oracle Prolog语义。 178-200
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/McColm95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/MColm95
格雷戈里·麦科姆:
最少不动点逻辑中的圆石游戏和子程序。 201-220
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/Herrmann95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Herrmann95
克里斯蒂安·赫尔曼:
嵌入式多值数据库依赖之间蕴涵的不确定性。 221-235
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/PillaipakkamnattR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/PillaipakkamnattR95
克里希南·皮拉伊帕卡姆纳特,维杰·拉加万:
可读DNF公式是可以学习的。 236-267
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/BrownG95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/BrownG95
凯珞琳·布朗,道格·格尔:
Petri网的一个分类线性框架。 268-285
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/FokkinkK95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/FokkinkK95
万·J·福克金,史蒂文·克鲁塞纳:
实时ACP的有效公理化。 286-299

管理网站设置

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