停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第四LOPSTR/4。META 1994：意大利比萨

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/1994年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/1994
劳伦特·弗里堡,弗朗科·图里尼:
逻辑程序设计综合与转换-逻辑元程序设计。1994年6月20日至21日，第四届国际研讨会，LOPSTR'94和META'94，意大利比萨，会议记录。计算机科学课堂讲稿883,施普林格 1994，国际标准图书编号3-540-58792-6

洛普斯特

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/盆地94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/loptr/Basin94
大卫·A·巴思:
逻辑程序的逻辑框架。 1-16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/BensaouG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/BensaouG94
纳塞拉·本索,伊雷恩·盖萨里安:
CLP程序的扩展转换系统。 17-35
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/BulangerB94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/BoulangerB94
德米特里·布朗格,莫里斯·布吕诺格:
使用调用/退出分析进行逻辑程序转换。 36-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/CookG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/CookG94
J.库克,约翰·加拉赫:
基于终止分析的确定程序转换系统。 51-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Flener公司P94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/FlenerP94
皮埃尔·弗莱纳,卢博斯·波佩林斯克:
归纳推理在程序综合中的应用：偏见与展望。 69-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/loptr/GilbertHZ94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/GilbertHZ94
大卫·R·吉尔伯特,克里斯托弗·霍格,吉尔·兹拉图斯卡:
将可观察行为规范转化为程序。 88-103
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/LauO94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/LauO94
刘恭桥,马里奥·奥尔纳吉:
逻辑程序的规范框架和演绎综合。 104-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Leuschel94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Leuschel94
迈克尔·勒谢尔:
对“真实事物”的部分评估。 122-137
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/马拉卡基斯G94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/MarakakisG94
艾曼纽尔·马拉卡基斯,约翰·加拉赫:
使用抽象数据类型的基于模式的逻辑程序自顶向下设计。 138-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/雷诺94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Renault94网址
索菲·雷诺:
普通程序的通用扩展执行。 154-169
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/SakamaS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/SakamaS94
恰基·萨卡马,Hirohisa Seki先生:
选言逻辑程序的部分演绎：一种声明方法。 170-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/SemeraroEMBP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/loptr/SemeraroEMBP94
乔瓦尼·塞梅拉罗,弗洛里安娜·埃斯波西托,多纳托·马勒巴,克利夫德·布伦克,迈克尔·巴扎尼:
学习逻辑程序时避免无终止：FOIL和FOCL的案例研究。 183-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/SolnonR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/SolnonR94
克里斯汀·索尔农,米歇尔·鲁赫:
“Tuple-distribute”类型推理系统中参数间依赖的传播。 199-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/TarauD94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/TarauD94
保罗·塔劳,维罗尼卡·达尔:
逻辑程序设计和一阶连续逻辑文法。 215-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/loptr/Wiggins94文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Wiggins94网址
杰兰特·维金斯:
改进螺系统：一种类型理论重建。 231-247

元

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Harmelen94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Harmelen94网址
海尔梅莱恩:
元层次计算的成本和收益模型。 248-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/BarklundBD94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/BarklundBD94
乔纳斯·巴克隆德,凯特琳·博伯格,皮耶朗基罗·德尔·阿夸:
多级元逻辑程序设计语言的基础。 262-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Mircheva94型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Mircheva94网址
玛丽昂·米切娃:
带测试的逻辑程序。 276-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Dunin-Keplicz94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Dunin-Keplicz94
芭芭拉·杜宁·凯普利茨:
用于开发正确程序的具有多个元级别的体系结构。 293-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/BossiE94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/BossiE94
安娜丽莎·博西,桑德罗·埃塔利:
关于普通程序展开/折叠转换的更多信息：保持拟合的语义。 311-331
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/HoekMT94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/HoekMT94
威比·范德霍克,约翰·朱尔斯·查·梅耶,扬·特雷尔:
时间认识反映的形式语义学。 332-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Treer94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Treeur94网址
扬·特雷尔:
动态控制推理的元层次结构的时间语义。 353-376
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/BrogiC94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/BrogiC94
安东尼奥·布罗吉,西蒙·孔蒂埃罗:
哥德尔作为编写逻辑程序的元语言。 377-394
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/丘陵94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Hill94
帕特里夏·M·希尔:
元编程模块系统。 395-409
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/AttardiS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/AttardiS94
朱塞佩·阿塔迪,玛丽亚·西米:
在上下文中构建证据。 410-424
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Giunchiglia C94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/GiunchigliaC94
福斯托·金奇利亚,亚历山德罗·西马蒂:
内省元理论推理。 425-439
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/CominiLV94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/CominiLV94
马可·科米尼,乔治·列维,朱利安娜·维蒂埃洛:
逻辑程序的抽象调试。 440-450

服务

管理网站设置

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