停止战争！

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

对于科学家：

默认搜索操作

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

问别人

4.ALP 1994：西班牙马德里

>主页 >会议和研讨会 >碱性磷酸酶

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/1994年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/1994
乔治·列维,马里奥·罗德里格斯-阿塔莱霍:
代数和逻辑编程，第四届国际会议，ALP'94，西班牙马迪德，1994年9月14-16日，会议记录。计算机科学课堂讲稿850,施普林格 1994，十亿3-540-58431-5

受邀会谈（摘要）

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Palamidessi94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Palamidessi94网址
帕拉米德西卡图西亚:
并发约束编程。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Miller94文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Miller94网址
戴尔·米勒:
使用多结论逻辑程序的规范。 3-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Paige94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Paige94
罗伯特·佩奇:
查看正在运行的程序转换系统。 5

定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/CodishM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/CodishM94
迈克尔·科迪什,格里戈里·马舍维茨基:
用代数逼近证明蕴涵。 6-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Bouhoula94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Bouhoula94
阿德尔·布胡拉:
归纳法的充分完备性和参数化证明。 23-40
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/BidoitH94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/BidoitH94
米歇尔·比多特,罗尔夫·亨尼克:
用标准一阶逻辑证明行为定理。 41-58

缩小范围

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/WernerBK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/WernerBK94
安德烈亚斯·沃纳,亚历山大·博克梅尔,斯特凡·克里斯彻:
如何实现LSE缩小。 59-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/AlpuenteFV94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/AlpuenteFV94
玛丽亚·阿尔普奈特,莫雷诺·法拉斯基,格尔曼·维达尔:
等式Horn程序的合成分析。 77-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Balbiani94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Balbiani94网址
菲利普·巴尔比亚尼:
射影平面和平面三元环中的方程求解。 95-113

逻辑程序设计I

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/BeenoHMR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/BeenoHMR94
弗朗西斯科·布埃诺,曼纽尔·埃尔梅内吉尔多,乌戈·蒙塔纳里,弗朗西丝卡·罗西:
从最终到原子本地原子CC程序：并发语义。 114-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Volpe94型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Volpe94
保罗·沃尔佩:
作为统一线性证明的并发逻辑程序设计。 133-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Teusink94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Teusink94网址
弗兰克·特辛克:
诱拐逻辑程序的三值完成。 150-167

术语重写

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/安托伊M94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/AntoyM94
塞尔吉奥·安托伊,阿尔特·米德尔多普:
顺序减少策略。 168-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Gramlich94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Gramlich94网址
伯恩哈德·格拉姆利希:
条件重写系统的终止和合流特性的模块化。 186-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/FerreiraZ94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/FerreiraZ94
玛丽亚·费雷拉,汉斯·赞特玛:
完全终止的句法分析。 204-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Marchiori94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Marchiori94网址
马西莫·马尔奇奥里:
逻辑程序作为术语重写系统。 223-241

高阶编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/琼斯R94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/JonesR94
尼尔·D·琼斯,Mads Rosendahl公司:
高阶极小函数图。 242-252
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Kesner94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Kesner94
迪丽娅·凯斯纳:
关于分层、通配符和产品模式的推理。 253-268

逻辑程序设计II

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/BossiC94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/BossiC94
安娜丽莎·博西,尼科莱塔·科科:
通过展开/折叠保存通用终端。 269-286
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/alp/Marchiori94a文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/alp/Marchiori94a
埃琳娜·马尔奇奥里:
逻辑程序中变量混叠的逻辑。 287-304

服务

管理网站设置

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