停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第五届ICLP/SLP 1988：华盛顿州西雅图

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/1988
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/1988
罗伯特·科瓦尔斯基,肯尼思·鲍文:
逻辑编程，第五届国际会议和研讨会论文集，美国华盛顿州西雅图，1988年8月15-19日（2卷）。麻省理工学院出版社 1988，国际标准图书编号0-262-61056-6

应用

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BoscoCM88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BoscoCM88
皮尔·乔治·博斯科,卡路·施齐,科拉多·莫伊索:
充分利用逻辑加功能编程的力量。 ICLP/SLP公司 1988:3-17
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/McCroskyK88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/McCroskyK88
卡尔·麦克罗斯基,安东尼·库萨利克:
使用Prolog改进一级数组表达式。 ICLP/SLP公司 1988:18-25
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Shintani88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Shintani88网址
Toramatsu Shintani公司:
基于Prolog的快速生产系统KORE/IE。 ICLP/SLP公司 1988:26-41
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/DincbasSH88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/DincbasSH88
穆罕默德·丁巴斯,赫尔穆特·西蒙尼斯,帕斯卡·范·亨特利克:
解决约束逻辑编程中的切削库存问题。 ICLP/SLP公司 1988:42-58
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/HuynhL88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/HuynhL88
Tien Huynh（田惠恩）,凯瑟琳·拉塞兹:
CLP（R）期权交易分析系统。 ICLP/SLP公司 1988:59-69
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Reintjes88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Reintjes88网址
彼得·莱因特杰斯:
PROLOG中的VLSI设计环境。 ICLP/SLP公司 1988:70-81
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Docker88接口
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Docker88网址
托马斯·W·G·多克:
SAME-结构化分析工具及其在Prolog中的实现。 ICLP/SLP公司 1988:82-95
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Steer88型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Steer88
凯文·斯蒂尔:
使用PARLOG测试数据流图。 ICLP/SLP 1988:96-110

建设性否定

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Chan88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Chan88
大卫·陈:
基于完整数据库的构造性否定。 ICLP/SLP公司 1988:111-125
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/FooRTW88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/FooRTW88
诺曼·Y·福,阿南德·拉奥,安德鲁·泰勒,阿德里安·沃克:
推导了相关类型和构造性否定。 ICLP/SLP公司 1988:126-139

数据库

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Ramakrishnan88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Ramakrishnan88网址
拉胡·拉马克里希南:
魔术模板：逻辑程序的一种拼写绑定方法。 ICLP/SLP公司 1988:140-159
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/AttilaF88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/AttilaF88
一、阿提拉,保罗·弗朗西·扎内塔奇:
通过语义属性评估实现TYPOL程序的统一自由执行。 ICLP/SLP公司 1988:160-177
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/KempT88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KempT88
大卫·B·坎普,罗德尼·W·托珀:
分层数据库自顶向下查询评估过程的完整性。 ICLP/SLP公司 1988:178-194
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icp/SekiI88文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SekiI88
Hirohisa Seki先生,伊藤秀内里:
扩展CWA下分层程序的查询评估方法。 ICLP/SLP公司 1988:195-211

语法和语法分析

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/TrehanW88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/TrehanW88
拉吉夫·特雷汉,保罗·威尔克:
承诺选择非确定性逻辑语言的并行图表解析器。 ICLP/SLP公司 1988:212-232
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Abramson88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Abramson88网址
哈维·阿布拉姆森:
定冠词翻译语法中的元规则和连接方法：语法元编程的一些方面。 ICLP/SLP公司 1988:233-248
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Dahl88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Dahl88
维罗尼卡·达尔:
通过逻辑编程表示语言知识。 ICLP/SLP公司 1988:249-262
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/赫希曼HS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/HirschmanHS88
勒奈特·赫希曼,威廉·霍普金斯,罗伯特·史密斯:
自然语言处理中的OR-并行加速：案例研究。 ICLP/SLP公司 1988:263-279

逻辑和函数编程

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/GallerI88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GallierI88
让·盖利尔,托马斯·伊萨科维茨:
序排序等式逻辑中的重写。 ICLP/SLP公司 1988:280-294
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Zachary88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Zachary88
约瑟夫·扎卡里:
等式逻辑程序设计的实用方法。 ICLP/SLP公司 1988:295-310
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/邦尼M88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BonnierM88
斯塔凡·邦尼尔,扬·马卢辛斯基（Jan Maluszynski）:
实现逻辑程序与外部过程的干净结合。 ICLP/SLP公司 1988:311-326
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Holldobler公司88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Holldobler88网址
Steffen Hölldobler公司:
从准调制到窄化。 ICLP/SLP公司 1988:327-342

元编程

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BruffaertsH88型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BruffaertsH88
A.布鲁弗,E.海宁:
否定作为失败的证明树：又一个序言元解释。 ICLP/SLP公司 1988:343-358
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/CosciaFLST88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CosciaFLST88
帕特里齐亚·科西亚,保拉·弗朗切斯基,乔治·列维,朱塞佩·萨杜,路易吉娅·托雷:
Epsilon逻辑编程环境中推理引擎的元级定义和编译。 ICLP/SLP公司 1988:359-373
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/KwokS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KwokS88
Chor Sang Kwok先生,马雷克·塞尔戈特:
逻辑程序的隐式定义。 ICLP/SLP公司 1988:374-385
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/斯特林L88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SterlingL88
利昂·斯特林,阿伦·拉科蒂亚:
编写序言元解释程序。 ICLP/SLP公司 1988:386-403

物体

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/陈W88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ChenW88
陈伟东,大卫·斯科特·沃伦:
对象作为强度。 ICLP/SLP公司 1988:404-419
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Conery88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Conery88网址
约翰·康纳利:
逻辑对象。 ICLP/SLP 1988:420-434

问题解决和新技术

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BarklundHW88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BarklundHW88
乔纳斯·巴克隆德,尼尔斯·哈格纳,马利克·瓦芬:
条件图。 ICLP/SLP公司 1988:435-446
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/CodognetCF88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CodognetCF88
克里斯蒂安·科多涅,菲利普·科多涅,吉尔伯托·菲尔:
另一种智能回溯方法。 ICLP/SLP公司 1988:447-465
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/KondohC88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KondohC88
Sei-Ichi Kondoh公司,Takashi Chikayama公司:
Prolog中的宏处理。 ICLP/SLP公司 1988:466-480

编程环境

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/佩雷拉C88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PereiraC88
路易斯·莫尼兹·佩雷拉,米盖尔·卡列霍:
Prolog调试框架。 ICLP/SLP公司 1988:481-495
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/水管88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Plummer88网站
戴夫·普卢默:
Coda:PROLOG的扩展调试器。 ICLP/SLP公司 1988:496-511
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/LichtensteinS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/LichtensteinS88
尤西·利奇滕斯坦,胡德·沙皮罗:
抽象算法调试。 ICLP/SLP公司 1988:512-531
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BrayshawE88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BrayshawE88
迈克·布雷肖,马克·艾森斯塔特:
将数据和过程抽象添加到透明Prolog机器TPM。 ICLP/SLP公司 1988:532-547
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/GorlickK88文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GorlickK88
迈克尔·M·戈尔里克,卡尔·凯塞尔曼:
量规：逻辑程序性能分析的工作台。 ICLP/SLP公司 1988:548-561

时间推理

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Eshghi88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Eshghi88网址
Kave Eshghi公司:
事件演算中的诱拐性计划。 ICLP/SLP公司 1988:562-579

类型

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Voda88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Voda88网址
保罗·J·沃达:
三部曲的类型。 ICLP/SLP公司 1988:580-589
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Emden88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Emden88
马滕·范·埃姆登:
多态类型推断的条件答案。 ICLP/SLP公司 1988:590-603
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/XuW88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/XuW88
徐济阳,大卫·斯科特·沃伦:
Prolog的一个类型推理系统。 ICLP/SLP 1988:604-619

统一和约束

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ParkerM88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ParkerM88
小道格拉斯·斯托特·帕克。,理查德·蒙兹:
定向逻辑程序和流理论。 ICLP/SLP 1988:620-650
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/端口88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Port88
格雷姆·S·波特:
找到不可用原因的简单方法。 ICLP/SLP公司 1988:651-665

抽象解释和数据依赖

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BruynoogheJ88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BruynoogheJ88
莫里斯·布吕诺格,格尔达·詹森:
综合类型和模式推理的抽象解释实例。 ICLP/SLP公司 1988:669-683
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/WarrenHD88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/WarrenHD88网址
理查德·A·沃伦,曼纽尔·埃尔梅内吉尔多,索米亚·德布雷:
逻辑程序全局流分析的实用性。 ICLP/SLP公司 1988:684-699
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Waern88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Waern88
安妮卡·沃恩:
Prolog抽象解释的一种实现技术。 ICLP/SLP公司 1988:700-710
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/德布雷88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Debray88网址
索米亚·德布雷:
并行逻辑程序的静态分析。 ICLP/SLP公司 1988:711-732
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/MarriottS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/MarriottS88
金·马里奥特,哈拉尔德·森德加德:
逻辑程序的自底向上抽象解释。 ICLP/SLP公司 1988:733-748
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/WinsboroughW88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/WinsboroughW88
威廉·温斯伯勒,安妮卡·沃恩:
共享自由变量存在时的透明并行性。 ICLP/SLP公司 1988:749-764

复杂性

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/AptB88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/AptB88
Krzysztof R.Apt公司,霍华德·布莱尔:
分层程序完美模型的算法分类。 ICLP/SLP公司 1988:765-779
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/卡普兰88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Kaplan88
S.卡普兰:
逻辑程序的算法复杂性。 ICLP/SLP公司 1988:780-793

LP的扩展和变化

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/SmithL88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SmithL88
布鲁斯·史密斯,唐纳德·洛夫兰:
一个简单的近角Prolog解释程序。 ICLP/SLP公司 1988:794-809
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/icp/NadathurM88文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/NadathurM88
戈帕兰·纳达图尔,戴尔·米勒:
Lambda-PROLOG概述。 ICLP/SLP公司 1988:810-827
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/LoboMR88文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/LoboMR88
豪尔赫·洛博,杰克·明克,阿尔科特·拉贾塞卡尔:
非Horn程序的弱完成理论。 ICLP/SLP公司 1988:828-842
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/JayaramanN88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/JayaramanN88网址
巴拉特·贾亚拉曼,阿尼尔指甲:
子集逻辑编程：应用与实现。 ICLP/SLP公司 1988:843-858

杂项理论

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/阿卜杜拉88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Abdallah88网址
Nait Abdallah先生:
启发式逻辑与发现过程。 ICLP/SLP公司 1988:859-875

程序推理

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ElkanM88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ElkanM88
查尔斯·埃尔坎,大卫·A·麦卡利斯特:
逻辑程序的自动归纳推理。 ICLP/SLP公司 1988:876-892
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/弗里堡88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Fribourg88网址
劳伦特·弗里堡:
Prolog程序归纳属性的等价保留变换。 ICLP/SLP公司 1988:893-908
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/MarriottNL88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/MarriottNL88
金·马里奥特,李·奈什,Jean-Louis Lassez女士:
大多数特定逻辑程序。 ICLP/SLP公司 1988:909-923
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/FujitaOF88配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/FujitaOF88
藤田浩史,大村明彦（Akira Okumura）,古川光一:
基于带约束UR-set的GHC项目部分评估。 ICLP/SLP公司 1988:924-941
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/汉南M88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/HannanM88
约翰·汉南,戴尔·米勒:
使用高阶统一实现程序转换器。 ICLP/SLP公司 1988:942-959

语义问题

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BatarekhS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BatarekhS88
阿伊达巴塔雷赫,V.S.Subrahmanian公司:
（非经典）逻辑程序的语义等价。 ICLP/SLP公司 1988:960-977
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Kunen88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Kunen88
肯尼思·库恩:
关于已完成数据库的一些备注。 ICLP/SLP 1988:978-992
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/FalaschiLMP88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/FalaschiLMP88
莫雷诺·法拉斯基,乔治·列维,毛里齐奥·马泰利,帕拉米德西卡图西亚:
逻辑语言的一种新的声明语义学。 ICLP/SLP公司 1988:993-1005
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Mancarella第88页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/MancarellaP88
保罗·曼卡雷拉,迪诺·佩德莱斯基:
逻辑程序代数。 ICLP/SLP公司 1988:1006-1023
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/RaatzG88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/RaatzG88
斯坦·拉茨,让·盖利尔:
逻辑编程的关系语义。 ICLP/SLP公司 1988:1024-1035
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Subrahmanian88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Subrahmanian88
V.S.Subrahmanian公司:
定量规则集的直观语义。 ICLP/SLP公司 1988:1036-1053

否定的语义

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/配件B88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/FittingB88
梅尔文配件,玛丽恩·本·雅各布:
分层和三值逻辑编程语义。 ICLP/SLP公司 1988:1054-1069
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/GelfondL88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GelfondL88
迈克尔·盖尔丰德,弗拉基米尔·利夫希茨:
逻辑编程的稳定模型语义。 ICLP/SLP公司 1988:1070-1080
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Przymusinski88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Przymusinski88
Teodor C.Przymusinski公司:
完美模型语义。 ICLP/SLP公司 1988:1081-1096
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 会议/icp/Moinard88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Moinard88网址
伊夫·莫纳德:
点式外接相当于谓词完成（有时）。 ICLP/SLP公司 1988:1097-1105
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/PrzymusinskaP88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/PrzymusinskaP88
哈利娜·普尔兹穆森斯卡,Teodor C.Przymusinski公司:
逻辑程序的弱完美模型语义。 ICLP/SLP公司 1988:1106-1120

与并行

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/LinK88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/LinK88
林又坚,维平·库马尔:
共享内存多处理器上逻辑程序的与并行执行：结果摘要。 ICLP/SLP公司 1988:1123-1141
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/SomogyiRV88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SomogyiRV88
佐尔坦·索莫吉,科塔吉里·拉马莫哈纳罗,贾恩·瓦加尼:
一种带回溯的流与并行执行算法。 ICLP/SLP公司 1988:1142-1159

与/或并行性

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/BiswasSY88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/BiswasSY88网址
Prasenjit Biswas公司,Shyh-Chang Su公司,大卫Y.Y.Yun:
一种支持逻辑程序中的极限OR（LOR）/限制AND并行（RAP）的可扩展抽象机器模型。 ICLP/SLP 1988:1160-1179
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/NgL88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/NgL88
Kam-Wing Ng公司,Ho-fung Leung先生:
逻辑程序并行执行的竞争模型。 ICLP/SLP公司 1988:1180-1187
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/RamanS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/RamanS88
普拉巴卡兰·拉曼,尤金·W·斯塔克:
逻辑问题的全分布式与或并行执行。 ICLP/SLP公司 1988:1188-1203
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/TsengB88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/TsengB88
简兆曾,普拉森吉特·比斯瓦斯:
逻辑程序的数据驱动并行执行模型。 ICLP/SLP公司 1988:1204-1222
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/KaleRS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KaleRS88
拉克西坎特·V·卡莱,R.拉姆库马尔,《韦文尼书》:
用于逻辑程序与或并行执行的与内存组织无关的绑定环境。 ICLP/SLP公司 1988:1223-1240

并发系统

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/转到KNC88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/GotoKNC88
Atsuhiro Goto先生,Yasunori Kimura先生,T.中川,Takashi Chikayama公司:
惰性引用计数：一种用于并行推理机的增量垃圾收集方法。 ICLP/SLP公司 1988:1241-1256
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Taylor公司88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Taylor88
哈米什·泰勒:
GHC悬架测试本地化。 ICLP/SLP公司 1988:1257-1271
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Wu88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Wu88
吴汉东:
FGHC的扩展数据流模型。 ICLP/SLP公司 1988:1272-1276
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/碱性S88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/AlkalajS88
利昂·阿尔卡拉吉,胡德·沙皮罗:
平面并行Prolog处理器的体系结构模型。 ICLP/SLP公司 1988:1277-1297
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/萨拉斯瓦特88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Saraswat88网站
维杰·萨拉斯瓦特:
CLP同步原语的某种逻辑形式。 ICLP/SLP公司 1988:1298-1314
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/KlingerS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KlingerS88
Shmuel Kliger先生,胡德·沙皮罗:
FCP（！，：，？）的决策树编译算法。 ICLP/SLP公司 1988:1315-1336
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/NilssonT88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/NilssonT88
马丁·尼尔森,田中秀彦:
超级计算机的平面GHC实现。 ICLP/SLP公司 1988:1337-1350
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Nystrom88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Nystrom88
斯文·奥洛夫·尼斯特伦:
Guarded Horn子句的控制结构。 ICLP/SLP公司 1988:1351-1370

实施

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/巴哈88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Bacha88网址
哈米德·巴哈:
Meta Prolog设计与实现。 ICLP/SLP公司 1988:1371-1387
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/JanssensDM88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/JanssensDM88
格尔达·詹森,巴特·德梅恩,安德烈·马里恩:
通过记录统一改进WAM的寄存器分配。 ICLP/SLP公司 1988:1388-1402
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/MillsB88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/MillsB88
乔纳森·韦恩·米尔斯,凯文·布埃特纳:
自信的恶魔。 ICLP/SLP公司 1988:1403-1414
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ChuM88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ChuM88
D.A.Chu（朱棣文）,F.G.麦卡贝:
SWIFT：一种新的符号处理器。 ICLP/SLP公司 1988:1415-1427
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Shankar88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Shankar88
苏巴什·尚卡尔:
用于逻辑编程统一的分层关联存储器体系结构。 ICLP/SLP公司 1988:1428-1447
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/StormonBOR88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/StormonBOR88
查尔斯·D·斯托蒙,马克·R·布鲁尔,约翰·奥德菲尔德,D.F.里贝罗:
一种基于内容可寻址内存的Prolog快速执行体系结构。 ICLP/SLP公司 1988:1448-1473
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Hemmendinger88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Hemmendinger88网址
大卫·海明丁格:
基于范畴语法的编译器和语义分析器。 ICLP/SLP公司 1988:1474-1489
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Kluzniak88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Kluzniak88
费利克斯·克鲁兹尼亚克:
为地面序言编译时间垃圾收集。 ICLP/SLP公司 1988:1490-1505
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/KurosawaYAB88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/KurosawaYAB88
黑泽贤一,山口S,安倍晋三,塔达基·班多:
高性能集成Prolog处理器IPP的指令体系结构。 ICLP/SLP 1988:1506-1530

Or-Parallelism与并行Prolog

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Ali88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Ali88
哈伊里·A.M.阿里:
OR—在BC-Machine上并行执行Prolog。 ICLP/SLP公司 1988:1531-1545
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/奈什88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Naish88网址
李·奈什:
并行化NU-Prolog。 ICLP/SLP公司 1988:1546-1564
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/CarlssonDO88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/CarlssonDO88网址
Mats Carlsson公司,肯尼思·丹霍夫,罗斯·A·奥弗贝克:
在OR并行环境中实现AND并行的简化方法。 ICLP/SLP公司 1988:1565-1577
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/AlshawiM88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/AlshawiM88
Hiyan Alshawi公司,道格拉斯·B·莫兰:
德尔菲模型和一些初步实验。 ICLP/SLP公司 1988:1578-1589
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/ButlerDLOOS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/ButlerDLOOS88
拉尔夫·巴特勒,特里·迪斯,尤因·L·卢斯克,罗伯特·奥尔森,罗斯·A·奥弗贝克,里克·L·史蒂文斯:
调度或并行：阿贡视角。 ICLP/SLP公司 1988:1590-1605

受邀会谈

- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/AllenS88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/AllenS88
雷曼·E·艾伦,查尔斯·萨克森:
法律规则逻辑结构的多重解释：对法律专家系统的阻碍还是好处？ ICLP/SLP公司 1988:1609-1623
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/邦迪88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Bundy88
阿兰·邦迪:
逻辑编程中逻辑的更广泛解释。 ICLP/SLP公司 1988:1624-1648
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Levi88公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Levi88
乔治·列维:
模型、展开规则和固定点语义。 ICLP/SLP公司 1988:1649-1665
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/Zaniolo88
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/Zaniolo88
卡洛·扎尼奥洛:
用于数据密集型应用的基于逻辑的语言的设计和实现。 ICLP/SLP公司 1988:1666-1687

服务

管理网站设置

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