默认搜索操作

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

问别人

2013年第19届LPAR：南非斯特伦博什

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2013
肯尼思·麦克米兰,阿尔特·米德尔多普,安德烈·沃伦科夫:
《程序设计、人工智能和推理逻辑》第19届国际会议，LPAR-19，南非斯泰伦博斯，2013年12月14-19日。诉讼程序。计算机科学课堂讲稿8312,施普林格 2013，国际标准图书编号978-3-642-45220-8
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AcetoMIMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AcetoMIMS13
卢卡·埃特罗,达里奥·德拉·莫妮卡,安娜·英格尔斯多蒂尔,安吉洛·蒙塔纳里,Guido Sciavicco公司:
Horn理论最大模型的枚举算法及其在模态逻辑中的应用。 1-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AbertGM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AbertGM13
埃尔维拉·阿尔伯特,萨米尔·吉纳伊姆,恩里克·马丁·马汀:
基于优先级调度的五月并行分析。 18-34
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AtaleKRZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ArtaleKRZ13
亚历山德罗·阿尔塔莱,罗曼·孔查科夫,弗拉迪斯拉夫·里日科夫,迈克尔·扎哈里亚舍夫:
LTL从句片段的复杂性。 35-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AspinallDL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AspinallDL13
大卫·阿斯皮纳尔,埃文·丹尼,克里斯托夫·吕思:
证明查询和转换的语义基础。 53-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BarceloFL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BarceloFL13
巴勃罗·巴塞洛,加列·丰丹,安东尼·威贾贾·林:
带数据的图上的表达式路径查询。 71-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BaumgartnerB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BaumgartnerB13网址
鲍姆加特内,约书亚·巴克斯:
无穷可满足性的证明。 86-95
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BelovMM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BelovMM13
安东·贝洛夫,安托尼奥·莫尔加多,乔安·马奎斯·西尔瓦:
MaxSAT的基于SAT的预处理。 96-111
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Benhamou13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Benhamou13
贝莱德·本哈莫:
答案集编程中的动态和静态对称破缺。 112-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BenzmullerR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BenzmullerR13
克里斯托夫·本穆勒,托马斯·拉思:
基于HOL的一阶模态逻辑校准器。 127-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BerdineBIKW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BerdineBIKW13
乔什·伯丁,尼古拉·比约纳,萨明·伊什蒂亚克,杰尔·克里纳（Jael E.Kriener）,克里斯托夫·温特斯泰格:
作为HORN-LA的资源可及性。 137-146
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BlackburnBBJ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BlackburnBBJ13
帕特里克·布莱克本,托马斯·博兰德,托本·布拉纳,克劳斯·弗罗文·约根森:
Seligman-Style Tableau系统。 147-163
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BlahoudekKS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BrahoudekKS13
弗兰蒂斯克·布拉胡德克,莫伊米尔·克雷廷斯克,简·斯特雷切克:
LTL与确定性拉宾自动机翻译器的比较。 164-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BlancGKK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BlancGKK13
雷吉斯·布兰科,阿舒托什·古普塔,劳拉·科瓦奇,伯恩哈德·克拉格尔:
吸血鬼中的树插值。 173-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BoudardH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BoudardH13
梅拉尼·布达德,奥利维尔·赫曼特:
极化双重否定翻译。 182-197
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/CasalR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/CasalR13
菲利佩·卡萨尔,乔·拉斯加:
重新审视闪亮与礼貌的对等。 198-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/赌场13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/CasiniS13
乔瓦尼·卡西尼,翁贝托·斯特拉契亚:
走向模糊逻辑的有理闭包：命题哥德尔逻辑的例子。 213-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ChatterjeeFW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ChatterjeeFW13
克里希南德·查特吉,Vojtech预测,多米尼克·沃伊特扎克:
图和MDP中的多目标折扣奖励验证。 228-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Cruz-FilipeHN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Cruz-FilipeHN13
路易斯·克鲁斯·菲利佩,丽塔·恩里克斯,伊莎贝尔·努尼斯:
说明逻辑、规则和多控制系统。 243-257
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LagoP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LagoP13
乌戈·达尔·拉戈,朱利奥·佩利塔:
存在控制算子和高阶函数的复杂性分析。 258-273
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DelahayeDGHH13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DelahayeDGHH13网址
大卫·德拉哈耶,达米安·多利盖兹,吉尔伯特神父,皮埃尔·哈尔马格朗,奥利维尔·赫曼特:
芝诺模数：当阿喀琉斯使用演绎模数超过乌龟时。 274-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/EglyLW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/EglyLW13
乌韦·埃格利,弗洛里安·朗辛,马格达莱娜·维德尔:
长距离分辨率：基于搜索的QBF求解中的证明生成和策略提取。 291-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/法语MR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FrenchMR13
蒂姆·弗伦奇,约翰·克里斯托弗·麦卡贝（John Christopher McCabe-Dansted）,马克·雷诺兹:
验证真实模型中的时间属性。 309-323
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GrovKL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GrovKL13
古德蒙德·格罗夫,亚历克斯·基辛格,林玉辉:
用于证明策略的图形语言。 324-339
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GundersenHP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GundersenHP13
汤姆·冈德森,威廉·海杰斯,米歇尔·帕里格特:
类型化原子Lambda-Calculus强正规化的证明。 340-354
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HarelKK13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HarelKK13
哈雷尔,阿米尔·坎特,盖伊·卡茨:
放松行为程序中的同步约束。 355-372
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Heinemann13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Heineman13
伯恩哈德·海涅曼:
将子集空间描述为双拓扑结构。 373-388
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HerasKJM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HerasKJM13
乔纳森·赫拉斯,叶卡捷琳娜·科门丹茨卡娅,莫阿·约翰逊,埃文·麦克林:
ACL2中的证明模式识别和引理发现。 389-406
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AllaliH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AllaliH13网址
丽莎·阿拉利,奥利维尔·赫尔曼特:
语义A翻译和超一致性包含经典剪切消除。 407-422
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HeuleB13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HeuleB13
Marijn鞋跟,阿明·比尔:
阻止条款分解。 423-438
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/IgnatievMPM13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/IgnatievMPM13
阿列克谢·伊格纳提耶夫,安托尼奥·莫尔加多,Jordi飞机,乔安·马奎斯·西尔瓦:
最大可伪造性——定义、算法和应用。 439-456
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ItzhakyGIS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ItzhakyGIS13
沙查尔·伊扎基,苏米特·古尔瓦尼,尼尔·伊梅尔曼,穆利·萨吉夫:
结合符号和数值推理解决几何问题。 457-472
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/JanotaGM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/JanotaGM13
米科拉斯·加诺塔,拉杜·格里戈尔,乔安·马奎斯·西尔瓦:
关于QBF证明和预处理。 473-489
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/江Z13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/JiangZ13
川江,Ting Zhang（张婷）:
CDCL解算器中的部分回溯。 490-502
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KaliszykU13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KaliszykU13
塞萨里·卡利西克,约瑟夫·乌尔班:
HOL Light上的引理挖掘。 503-517
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Katz13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Katz13
盖伊·卡茨:
行为程序的基于模块的抽象和修复。 518-535
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Klarman公司M13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KlarmanM13
Szymon Klarman先生,托马斯·迈耶尔:
DL-Lite数据流的预测和解释。 536-551
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KoopmannS13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KoopmannS13
帕特里克·科普曼,雷娜特·施密特:
忘记$\mathcal{ALCH}$-本体论中的概念和角色符号。 552-567
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LaitinenJN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LaitinenJN13
特罗·莱蒂宁,汤米·A·琼蒂拉,伊尔卡·尼梅莱:
模拟奇偶推理。 568-583
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/CintulaM13型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/CintulaM13网址
彼得·辛图拉,乔治·梅特卡夫:
子结构逻辑的赫伯朗定理。 584-600
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MhaveroMS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MogaveroMS13
法比奥·莫加维罗,阿尼埃洛·穆拉诺,洛雷达娜·索伦蒂诺:
论对等游戏中的及时性。 601-618
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ModersheimGV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ModersheimGV13
塞巴斯蒂安·莫德谢姆,托马斯·格罗,卢卡·维甘:
定义隐私应该很容易。 619-635
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/NortjeBM13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/NortjeBM13
Riku Nortje公司,卡塔琳娜·布里茨,托马斯·迈耶尔:
描述逻辑$\mathcal{SRIQ}$的可达性模块。 636-652
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/McIverRS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/McIverRS13
安娜贝拉·麦克维尔,塔希里·拉贝哈加,乔治·斯特鲁斯:
概率并发Kleene代数的事件结构模型。 653-667
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/雷诺DKP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/RenaultDKP13
艾蒂安·雷诺,Alexandre Duret Lutz,Fabrice Kordon公司,丹尼斯·波特雷诺:
广义Büchi自动机的三个基于SCC的空检查。 668-682
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/RolliniAFHS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/RolliniAFHS13
西蒙·富尔维奥·罗里尼,莱昂纳多Alt,格里戈里·费德尤科维奇,安蒂·埃罗·约翰内斯·海瓦里宁,娜塔莎·沙里吉娜:
PeRIPLO：在基于SAT的软件验证中生成有效插值的框架。 683-693
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Saptawijaya第13页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SaptawijayaP13
阿里·萨普塔维贾亚,路易斯·莫尼兹·佩雷拉:
查询驱动的逻辑程序更新传播的增量表格。 694-709
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SchererH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SchererH13
加布里埃尔·谢勒,扬·霍夫曼:
使用开放闭包类型跟踪数据流。 710-726
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SchlundTL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SchlundTL13
马克西米利安·施伦德,米查尔·特雷佩塔,迈克尔·卢滕伯格:
将牛顿付诸实践：半环上多项式方程的求解器。 727-734
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Schulz13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Schulz13
斯蒂芬·舒尔茨:
系统说明：E 1.8。 735-743
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/TaqdeesH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/TaqdeesH13网址
Syeda Hira Taqdees公司,奥斯曼·哈桑:
利用HOL-Light的多变量微积分理论对拉普拉斯变换进行形式化。 744-758
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/TurliucMRB13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/TurliucMRB13
卡林·雷斯·图利乌克,纳塔利·迈马里,亚历山德拉·拉索,Krysia Broda公司:
概率外推中的极小性和完整性约束。 759-775
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DietrichWA13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DietrichWA13
多米尼克·迪特里希,伊恩·怀特塞德,大卫·阿斯皮纳尔:
Polar：证明重构框架。 776-791

管理网站设置

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