默认搜索操作

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

问别人

2012年第18届LPAR：委内瑞拉梅里达

>主页 >会议和研讨会 >LPAR公司

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/2012年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2012
尼古拉·比约纳,安德烈·沃伦科夫:
程序设计、人工智能和推理逻辑——第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。计算机科学课堂讲稿7180,施普林格 2012，国际标准图书编号978-3-642-28716-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AbertAGGP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AbertAGGP12
埃尔维拉·阿尔伯特,普里竞技场,萨米尔·吉纳伊姆,米盖尔·戈梅斯·扎马洛亚,杰曼·普埃布拉:
资源消耗边界的自动推断。 1-11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Middeldorp12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Middeldorp12
阿尔特·米德尔多普:
重写系统多项式导数复杂性的矩阵解释。 12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Motik12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Motik12
鲍里斯·莫提克:
描述逻辑推理的参数化复杂性和固定参数可拓性。 13-14
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AavaniWTTM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AavaniWTTM12
阿米尔·阿瓦尼,吴雄南（纽曼）,沙哈布·塔沙罗菲,尤金妮娅·特诺夫斯卡,大卫·G·米切尔:
Enfragmo：用逻辑建模和解决搜索问题的系统。 15-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AccattoliK12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AccattoliK12
贝尼亚米·阿卡托利,迪莉娅·凯斯纳:
置换λ-微积分。 23-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AlamaKU12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AlamaKU12
杰西·阿拉玛,丹尼尔·库尔文,约瑟夫·乌尔班:
普通数学中的自动和人工证明：初步比较。 37-45
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AbertiBGRS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AbertiBGRS12
弗朗西斯科·阿尔贝蒂,罗伯托·布鲁托梅索,西尔维奥·吉拉尔迪,西尔维奥·兰伊斯,娜塔莎·莎莉吉娜:
数组插值的惰性抽象。 46-61
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AlpuentBFR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AlpuenteBFR12
玛丽亚·阿尔普奈特,黛米斯·巴利斯,弗朗西斯科·弗雷奇纳,丹尼·罗梅罗:
条件重写理论的后向跟踪切片。 62-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AntoniouEW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AntoniouEW12
格里戈里斯·安东尼乌,托马斯·艾特,王克文（Kewen Wang）:
忘记了可击败的逻辑。 77-91
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AspinallDL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AspinallDL12
大卫·阿斯皮纳尔,埃文·丹尼,克里斯托夫·吕斯:
查询证据。 92-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BaderO12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BaderO12
弗兰兹·巴德,亚历山大·奥霍廷:
求解语言方程和微分方程，并应用于描述逻辑和一元集约束中的不统一。 107-121
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BenesKLMS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BenesKLMS12
尼古拉·贝内斯,扬·克伦斯克,金·古德斯特兰·拉森,米凯尔·莫勒,吉尔·斯尔巴:
具有持续时间的双价格模态转换系统。 122-137
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BorgwardtM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BorgwardtM12
斯特凡·博格沃德,芭芭拉·莫劳斯卡:
寻找有限Herbrand模型。 138-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Bulwahn12号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Bluwahn12网址
卢卡斯·布尔瓦恩:
Isabelle中功能程序的智能测试。 153-167
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BulychevDLLLPS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BulychevDLLLPS12
彼得·布利切夫,亚历山大·戴维,金·古德斯特兰·拉森,Axel Legay公司,李广元,丹尼·鲍尔森,阿梅利·斯塔纳:
加权度量时态逻辑的基于监视器的统计模型检查。 168-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ChaconP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ChaconP12
何塞·路易斯·查科,拉蒙·皮诺·佩雷斯:
合并算子和社会契约算子之间的对偶性。 183-196
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FietzkeKW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FietzkeKW12
阿诺德·菲茨克,叶夫根尼·克鲁格洛夫,克里斯托夫·魏登巴赫:
SUP（LA）中循环导数不变量的自动生成。 197-211
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AnhSP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AnhSP12
汉·安赫,阿里·萨普塔维贾亚,路易斯·莫尼兹·佩雷拉:
不确定性下的道德推理。 212-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HetzlLW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HetzlLW12
斯特凡·赫兹尔,亚历山大·莱奇,丹尼尔·韦勒:
面向算法切割介绍。 228-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KatebiSM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KatebiSM12
哈迪·卡特比,卡伦·萨卡拉,伊戈尔·马尔科夫:
图自同构搜索中的冲突预测。 243-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KleinH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KleinH12
多米尼克·克莱因,Nao Hirokawa先生:
非左线性TRS通过相对终止的汇流。 258-273
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LibkinV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LibkinV12
列昂尼德·利布金,Domagoj Vrgoc公司:
数据词的正则表达式。 274-288
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MerzV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MerzV12
斯蒂芬·默兹,埃尔南·范泽托:
与SMT解决方案一起自动验证TLA+证明义务。 289-303
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MorgensternGS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MorgensternGS12
安德烈亚斯·摩根斯顿,曼努埃尔·格塞尔,克劳斯·施耐德:
LTL的渐近正确有限路径语义。 304-319
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/NeurauterM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/NeurauterM12
弗里德里希·纽劳特,阿尔特·米德尔多普:
关于矩阵解释的域和维数层次。 320-334
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/OrbeAL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/OrbeAL12
伊泽基尔·奥贝,卡洛斯·阿雷塞斯,加布里埃尔·G·芬特·洛佩斯:
iSat：SAT问题的结构可视化。 335-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HofmannR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HofmannR12
马丁·霍夫曼,杜尔马·罗德里格斯:
无限树上的线性约束。 343-358
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Rummer12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Rummer12
菲利普·吕默:
使用自由变量进行电子匹配。 359-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AmatoS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AmatoS12
吉安卢卡·阿马托,弗朗西丝卡·斯科扎里:
随机：基于R的数值域分析器。 375-382
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SnellPW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SnellPW12
威廉·斯内尔,德克·帕丁森,弗洛里安·维德曼:
通过线性不等式求解分级/概率模态逻辑（系统描述）。 383-390
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SudaW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SudaW12
马丁·苏达,克里斯托夫·魏登巴赫:
PLTL的标签叠加。 391-405
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SutcliffeSCB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SutcliffeSCB12
杰夫·萨特克利夫,斯蒂芬·舒尔茨,科恩·克莱森,鲍姆加特内:
TPTP类型的带算术的一阶表单。 406-419
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/WinklerZM12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/WinklerZM12
莎拉·温克勒,哈拉尔德·赞克,阿尔特·米德尔多普:
序号和Knuth-Bendix命令。 420-434
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KnopKZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KnoopKZ12
延斯·努普,劳拉·科瓦奇,Jakob Zwirchmayr公司:
r-TuBound:WCET分析的循环边界（工具文件）。 435-444

管理网站设置

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