停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2006年第16届LOPSTR：意大利威尼斯

>主页 >会议和研讨会 >洛普斯特

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/2006年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/2006
杰曼·普埃布拉:
基于逻辑的程序合成与转换，第16届国际研讨会，2006年LOPSTR，意大利威尼斯，2006年7月12日至14日，修订论文集。计算机科学课堂讲稿4407,施普林格 2007，国际标准图书编号978-3-540-71409-5

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/马尔基奥里06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Marchiori06网址
马西莫·马尔奇奥里:
如何与人类对话：语义网与泰坦的冲突。 1-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/MusuvathiQ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/MusuvatiQ06网址
穆苏瓦蒂夫人,沙兹·卡德尔:
国际象棋：并发软件的系统压力测试。 15-16

项目开发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/AbdennadherOST06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/AbdennadherOST06
苗条的阿卜杜纳德,阿卜杜拉·奥拉玛,诺哈·塞勒姆,阿米拉·萨贝特:
ARM：自动规则挖掘器。 17-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/SakamaI06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/SakamaI06网址
恰基·萨卡马,井上胜美:
构建共识逻辑程序。 26-42

部分评估和程序转换

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/LeuschelCE06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/LeuschelCE06
迈克尔·勒舍尔,斯蒂芬·约翰·克雷格,丹尼尔·埃尔菲克:
使用在线技术监督逻辑程序的离线部分评估。 43-59
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/loptr/ArroyoRSV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/ArroyoRSV06
古斯塔沃·阿罗约,J.瓜达卢佩·拉莫斯,约塞普·席尔瓦,格尔曼·维达尔:
使用尺寸变化图改进离线窄驱动部分求值。 60-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/MoralesCH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/MoralesCH06
何塞·F·莫拉莱斯,曼纽尔·卡罗,曼纽尔·埃尔梅内吉尔多:
Prolog扩展中抽象机器的描述和优化。 77-93

安全与合成

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/MantelSK06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/MantelSK06
海科·曼特尔,亨宁·萨德布罗克,蒂娜·克劳:
结合不同的证明技术来验证信息流安全性。 94-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/WinwoodKC06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/WinwoodKC06
西蒙·温伍德,格温·克莱因,曼努埃尔·M·T·查克拉瓦蒂:
证明携带时间参考监视器的自动合成。 111-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/ScheweF06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/ScheweF06
斯文·舍韦,伯恩德·芬克贝纳:
异步系统综合。 127-142

调试和测试

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/loptr/西尔瓦06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Silva06网址
约塞普·席尔瓦:
算法调试策略的比较研究。 143-159
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/BrasselFH06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/BrasselFH06
伯恩德·布拉塞尔,塞巴斯蒂安·费舍尔,弗兰克·赫赫:
用于跟踪函数逻辑计算的程序转换。 160-176

终止和分析

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/施耐德-坎普GST06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Schneider-KampGST06
彼得·施奈德-坎普,吉尔根·吉斯尔,亚历山大·谢列布雷尼克,雷内·蒂曼:
术语重写逻辑程序的自动终止分析。 177-193
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/Payet06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/Payet06网址
埃蒂安·佩耶特:
使用展开算子检测术语重写系统的非终止性。 194-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/NguyenS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/loptr/NguyenS06
Manh Thang Nguyen先生,丹尼·德·施雷耶:
Polytool：基于多项式解释自动证明终止。 210-218
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/BagnaraDHMZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/BagnaraDHMZ06
罗伯托·巴格纳拉,凯蒂·路易斯·多布森,帕特里夏·M·希尔,马修·蒙代尔,埃娜·扎法内拉:
网格：分析数值分布的领域。 219-235

服务

管理网站设置

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