停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第11届ILPS 1994：纽约伊萨卡

>主页 >会议和研讨会 >仪表着陆点

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/1994年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/1994
莫里斯·布吕诺格:
逻辑编程，1994年国际研讨会论文集，美国纽约伊萨卡，1994年11月13日至17日。麻省理工学院出版社 1994，十亿0-262-52191-1

受邀会谈

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/崩溃94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Cras94
Yannick撞车:
在服务中使用约束逻辑编程：几个短篇故事。仪表着陆点 1994:3-16
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/琼斯94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Jones94
尼尔·D·琼斯:
函数和逻辑程序设计中的抽象解释和部分评价。仪表着陆点 1994:17-22
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Gotlob94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Gotlob94
乔治·戈特洛布:
选言逻辑编程的复杂性和表达能力。 ILPS公司 1994:23-42
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/劳埃德94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/劳埃德94
约翰·劳埃德:
结合函数和逻辑编程语言。仪表着陆点 1994:43-57

语义学I

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/特纳94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Turner94
哈德森·特纳:
签名逻辑程序。仪表着陆点 1994:61-75
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Ros94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Ross94
肯尼思·罗斯:
使用约束的句法分层条件。仪表着陆点 1994:76-90
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Malfon94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Malfon94
伯纳德·马尔福:
带否定逻辑程序的一些语义特征及其在程序验证中的应用。仪表着陆点 1994:91-105

约束条件I

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/ChiuL94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/ChiuL94
C.K.Chiu先生,吉米·何曼·李:
逻辑编程中的实用区间约束求解。仪表着陆点 1994:109-123
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/本哈茂MH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/BenhamouMH94
弗雷德里克·本哈莫（Frédéric Benhamou）,大卫·A·麦卡利斯特,帕斯卡·范·亨特利克:
重新审视CLP（间隔）。仪表着陆点 1994:124-138
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Imbert94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Imbert94
Jean-Louis Imbert女士:
冗余、变量消除和线性方程组。仪表着陆点 1994:139-153

程序分析I

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/CharlierRH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/CharlierRH94
波杜因·勒·查利埃,萨比娜·罗西,帕斯卡·范·亨特利克:
准确处理Prolog搜索规则和切割的抽象解释框架。仪表着陆点 1994:157-171
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/CominiL94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/CominiL94
马可·科米尼,乔治·列维:
可观测的代数理论。仪表着陆点 1994:172-186

演绎数据库

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/TomanCR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/TomanCR94
大卫·托曼,扬·乔米奇,大卫·S·罗杰斯:
具有整数周期约束的数据日志。仪表着陆点 1994:189-203
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/罗摩克里希南RSS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/RamakrishnanRSS94
拉胡·拉马克里希南,肯尼思·罗斯,迪维什·斯利瓦斯塔瓦,S.Sudarshan公司:
使用聚合对查询进行有效的增量评估。仪表着陆点 1994:204-218
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/SwiftW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/SwiftW94
Terrance Swift公司,大卫·斯科特·沃伦:
确定程序的SLG-WAM评估分析。仪表着陆点 1994:219-235

语义学II

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/YouC94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/YouC94
嘉惠游,罗伯特·卡特赖特:
通过迭代信念修正的可追踪论证语义。仪表着陆点 1994:239-253
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/LakshmananS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/LakshmananS94
Laks V.S.Lakshmanan公司,费雷东·萨德里:
概率演绎数据库。仪表着陆点 1994:254-268
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/扫帚L94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/BromeL94
保罗·布鲁姆,利普敦:
组合逻辑程序设计：关系演算中的计算。仪表着陆点 1994:269-285

并行性

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Dutra94型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Dutra94
卡斯特罗·杜特拉:
并行逻辑编程系统中调度与或并行工作的策略。仪表着陆点 1994:289-304
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/DebrayJ94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/DebrayJ94
索米亚·德布雷,穆迪塔·贾恩:
并行性的简单程序转换。仪表着陆点 1994:305-319
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/BeenoBH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/BeenoBH94
弗朗西斯科·布埃诺,玛丽亚·加西亚·德拉班达,曼努埃尔·V·赫梅内吉尔多:
基于严格独立性的自动并行中全局分析的有效性。仪表着陆点 1994:320-336

约束条件II

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Gervet94型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Gervet94
卡门·格韦:
Conjunto：有限集域约束逻辑编程。仪表着陆点 1994:339-358
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/PodelskiR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/PodelskiR94
安德烈亚斯·波德尔斯基,不过研究人员凡洛伊:
美丽与野兽算法：树上蕴涵与不蕴涵的准线性增量测试。仪表着陆点 1994:359-374

程序分析II

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/贾科巴齐94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Giacobazzi94
罗伯托·贾科巴齐:
模块逻辑程序的溯源分析。仪表着陆点 1994:377-391
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/马尔基奥里94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Marchiori94网址
马西莫·马尔奇奥里:
通过匹配方向实现统一自由的本地化。仪表着陆点 1994:392-406

推理方法

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Hui-Bon-Hoa94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Hui-Bon-Hoa94
阿兰·惠本·霍:
直觉暗示和解决。仪表着陆点 1994:409-423
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/AlferesDP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/AlferesDP94
何塞·朱利奥·阿尔弗雷斯,卡洛斯·维加斯·达马西奥,路易斯·莫尼兹·佩雷拉:
SLX-带有显式否定的程序的自顶向下派生过程。仪表着陆点 1994:424-438
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/RosenbluethP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/RosenbluethP94
大卫·A·罗森布鲁斯,朱利奥·佩拉塔:
LR推理：基于LR分析的固定模式逻辑程序的推理系统。仪表着陆点 1994:439-453

项目分析III

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/BraemCMH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/BraemCMH94
C.布雷姆,波杜因·勒·查利埃,S.Modart公司,帕斯卡·范·亨特利克:
Prolog的基数分析。仪表着陆点 1994:457-471
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Post94文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Post94
Kjell Post公司:
逻辑编程中的互斥规则。 ILPS公司 1994:472-486
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/DebrayGB94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/DebrayGB94
索米亚·德布雷,大卫·古德曼,彼得·比戈:
无悬挂逻辑程序的检测和优化。仪表着陆点 1994:487-501

并发约束编程

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/SchulteS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/SchulteS94
克里斯蒂安·舒尔特,格特·斯莫尔卡:
高阶并发约束编程的封装搜索。仪表着陆点 1994:505-520
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/CarlsonHJ94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/CarlsonHJ94
比约恩·卡尔森,塞夫·哈里迪,斯维尔克·詹森:
AKL（FD）——一种用于FD编程的并发语言。仪表着陆点 1994:521-535

人工智能

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/KowalskiS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/KowalskiS94
罗伯特·科瓦尔斯基,法里巴·萨德里:
情境演算与事件演算的比较。 ILPS公司 1994:539-553
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/BarklundDCL94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/BarklundDCL94
乔纳斯·巴克隆德,皮耶朗基罗·德尔·阿夸,斯蒂芬妮娅·科斯坦蒂尼,盖塔诺·奥雷利奥·兰扎隆:
SLD-反射分辨率。仪表着陆点 1994:554-568

约束逻辑程序分析

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/MariottS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/MariottS94
金·马里奥特,彼得·J·斯塔基:
线性算术约束之间的近似交互。仪表着陆点 1994:571-585
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/MichylovP94配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/MichaylovP94
斯皮罗·米查洛夫,比尔·皮平:
一类约束逻辑程序中线性算法的优化编译。仪表着陆点 1994:586-600

实施

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Lindgren94文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Lindgren94
托马斯·林格伦:
Prolog的连续传球风格。 ILPS公司 1994:603-617
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/RameshC94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/RameshC94
R.拉梅什,陈伟东:
一种将SLG分辨率集成到Prolog系统中的便携式方法。仪表着陆点 1994:618-632
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/SwiftW94a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/SwiftW94a
Terrance Swift公司,大卫·斯科特·沃伦:
SLG解析的抽象机器：确定性程序。仪表着陆点 1994:633-652

项目分析IV

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/文件R94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/FileR94
吉尔伯托·菲尔,弗朗西斯科·兰扎托:
通过系统提升到功率集来改进抽象解释。仪表着陆点 1994:655-669

海报会议

- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/债券P94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/BondP94
格雷戈里·邦德,伯尼·帕格瑞克:
声明性错误诊断作为基于一致性的诊断。仪表着陆点 1994:673
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Brisset94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Brisset94网址
帕斯卡·布里塞特:
避免在多态逻辑编程语言中进行动态类型检查。仪表着陆点 1994:674
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/CervesatoCM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/CervesatoCM94
伊利亚诺·塞韦萨托,卢卡·奇塔罗,安吉洛·蒙塔纳里:
模态事件演算。 ILPS公司 1994:675
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/DavisonH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/DavisonH94
安德鲁·戴维森,伊丽莎白·海伍德:
用PTN解析。 ILPS公司 1994:676
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/DekhtyarD94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/DekhtyarD94
迈克尔·德克蒂亚,亚历山大·贾。迪科夫斯基:
动态演绎数据库的稳定行为。仪表着陆点 1994:677
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/JourdanFRD94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/JourdanFRD94
让·乔丹,弗朗索瓦·法赫斯,迪迪埃·罗佐内利,阿兰·德梅里:
基于并发约束模型编程的并行机数据对齐和任务调度。仪表着陆点 1994:678
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Lever94型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Lever94
乔纳森·利弗:
规划约束逻辑编程。仪表着陆点 1994:679
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/OrosG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/OrosG94
米格尔·安赫尔·奥罗斯,保罗·Y·格罗斯:
从数据日志程序推断继承。仪表着陆点 1994:680
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/Rjasekar94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/Rjasekar94
阿尔科特·拉贾塞卡尔:
字符串约束逻辑编程：理论与应用。仪表着陆点 1994:681
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/SagonasW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/SagonasW94
康斯坦蒂诺斯·萨戈纳斯,大卫·斯科特·沃伦:
用于将HiLog集成到Prolog系统中的可移植编译器。仪表着陆点 1994:682
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/TangPGC94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/TangPGC94
东兴堂,恩里科·蓬泰利,戈帕尔·古普塔,曼纽尔·卡罗:
并行逻辑程序设计系统中的最后并行调用优化和快速回溯。仪表着陆点 1994:683-684
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/McartyS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/MCartyS94
L.Thorne McCarty先生,利昂·A·什克拉:
一阶直觉逻辑的PROLOG解释器。 ILPS公司 1994:685
- 没有可用的文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/slp/元Y94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/slp/YuanY94
李彦元,嘉惠游:
一种简单但有效的程序修订方法。仪表着陆点 1994:686

服务

管理网站设置

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