停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2016年第18届PADL：美国佛罗里达州圣彼得堡

>主页 >会议和研讨会 >PADL（PADL）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2016
马可·加瓦内利,约翰·雷皮:
2016年1月18日至19日，美国佛罗里达州圣彼得堡，PADL 2016，第18届国际声明性语言实践研讨会。诉讼程序。计算机科学课堂讲稿9585,施普林格 2016，国际标准图书编号978-3-319-28227-5

约束与逻辑编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/JelinekB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/JelinekB16
简·杰利内克,罗曼·巴塔克:
使用约束逻辑编程安排国际空间站上的太阳能电池阵操作。 3-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/HertumDJD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/HertumDJD16
彼得·范·赫特姆,英格玛·达塞维尔,格尔达·詹森,马克·德内克:
知识库范式及其在交互式配置中的应用。 13-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/DovierFPV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/DovierFPV16
阿戈斯蒂诺·多维尔,安德烈亚·福米萨诺,恩里科·蓬泰利,弗拉维奥·维拉:
ASP计算的GPU实现。 30-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/周K16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/ZhouK16
能发周,哈坎·凯勒斯特兰德:
Picat-SAT编译器。 48-62

功能性编程

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/AntoyH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/AntoyH16
塞尔吉奥·安托伊,迈克尔·哈纳斯:
咖喱的默认规则。 65-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/SerranoH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/SerranoH16
亚历杭德罗·塞拉诺,侏罗纪黑格:
Haskell数据类型上树正则表达式的泛型匹配。 83-98
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Tarau16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Tarau16
保罗·塔劳:
作为加泰罗尼亚对象的Lambda术语的大小比例双射编码赋予了算术运算。 99-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/Tarau16a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/Tarau16a
保罗·塔劳:
通用加泰罗尼亚族计算。 117-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/CaretteS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/CaretteS16
雅克·卡雷特,Chung-chieh Shan公司:
使用计算机代数简化概率程序。 135-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/GrebeG16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/GrebeG16
马克·格雷布,安迪·吉尔:
哈斯基诺（Haskino）：为Arduino编程的远程Monad。 153-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/VazouL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/VazouL16
尼基·瓦祖,Daan Leijen公司:
从单幅到效果再到背面。 169-186

服务

管理网站设置

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