停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2005年第12届LPAR：牙买加蒙特哥湾

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2005
杰夫·萨特克利夫,安德烈·沃伦科夫:
《程序设计、人工智能和推理的逻辑》，第12届国际会议，LPAR 2005，牙买加蒙特哥湾，2005年12月2-6日，会议记录。计算机科学课堂讲稿3835,施普林格 2005，国际标准图书编号3-540-30553-X型
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Gelder05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Gelder05
阿伦·范·盖尔德:
独立可检查的决策程序证明：问题和进展。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BallLM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BallLM05
托马斯·鲍尔,Shuvendu K.Lahiri公司,穆苏瓦蒂夫人:
Zap：软件分析的自动定理证明。 2-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/NieuwenhuisO05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/NieuwenhuisO05
罗伯特·尼文胡斯,阿尔伯特·奥利弗拉斯:
SAT、SAT模理论及其以外的决策程序。BarcelogicTools。 23-46
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Lenat05型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Lenat05
道格拉斯·B·莱纳:
扩大规模：计算机与常识。 47-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/PaluDP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PaluDP05
亚历山德罗·达尔·帕洛,阿戈斯蒂诺·多维尔,恩里科·蓬泰利:
一种新的三维格约束求解器及其在蛋白质折叠问题中的应用。 48-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/HolzlC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/HolzlC05
马蒂亚斯·霍尔兹尔,约翰·克罗斯利:
析取约束Lambda Calculi。 64-78
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/WuPR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/WuPR05
姚武,恩里科·蓬泰利,德什·兰扬:
逻辑编程中利用依赖性和并行性的计算问题：动态搜索树中的剩余检测。 79-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AngerGLNS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AngerGLNS05
基督教愤怒,马丁·格布瑟,林克,安德烈·诺伊曼,托尔斯滕·绍布:
诺莫尔++解决答案集的方法。 95-109
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/NatathurQ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/NadathurQ05
戈帕兰·纳达图尔,齐晓初:
优化多态逻辑编程语言中类型的运行时处理。 110-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Dershowitz05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Dershowitz05
纳丘姆·德肖维茨:
彭罗斯的四个儿子。 125-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MontanariPV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MontanariPV05
安吉洛·蒙塔纳里,阿尔贝托·波利克里蒂,尼古拉·维塔科隆纳:
Ehrenfeucht游戏关于标记后继结构的算法说明。 139-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BeckertT05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BeckertT05
伯恩哈德·贝克特,克里·特伦特曼:
面向对象程序规范语言中的二阶原则。 154-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DoughertyGLL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DoughertyGLL05
丹尼尔·道尔蒂,西尔维娅·吉勒赞,皮埃尔·莱斯坎,西尔维娅·利卡维奇:
对偶经典序列微积分的强规范化。 169-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/LucasM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/LucasM05
萨尔瓦多·卢卡斯,何塞·梅塞盖尔:
条款改写中公平计算的终止。 184-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KetemaS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KetemaS05
杰伦·凯特马,雅各布·格鲁·西蒙森:
无限组合约化系统的汇流。 199-214
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KutsiaM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KutsiaM05
Temur Kutsia公司,Mircea马林:
与常规约束匹配。 215-229
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FernandezGR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FrenandezGR05
米尔塔·琳娜·费尔南德斯,吉勒姆·戈多伊,阿尔伯特·鲁比奥:
递归路径顺序也可以是增量的。 230-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BezemC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BezemC05
马克·贝泽姆,蒂埃里·科昆:
自动化相干逻辑。 246-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/PiroiK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PiroiK05
弗洛里娜·皮罗伊,Temur Kutsia公司:
交互式证明开发的理论环境。 261-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Bjork05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Bjork05
马格努斯·比约克:
Stálmarck方法的一阶推广。 276-291
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AleksicD05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AleksicD05
弗拉基米尔·阿列克西奇,安纳托利·德吉亚列夫:
基本叠加微积分中的正则导数。 292-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SzwastT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SzwastT05
维斯拉夫·斯瓦斯特,丽迪娅·坦德拉:
关于具有传递性的保护碎片的有限可满足性问题。 307-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/WangIGG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/WangIGG05
王超（Chao Wang）,弗兰乔·伊万西奇,马来语K.Ganai,阿尔蒂·古普塔:
用SAT和增量负循环消除法确定分离逻辑公式。 322-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/OhsakiTTR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/OhsakiTTR05
大崎仁,Jean-Marc Talbot公司,索菲·蒂森,伊夫·罗斯:
单调交流树自动机。 337-351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/PimentelM05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/PimentelM05
伊莱恩·皮门特尔,戴尔·米勒:
顺序系统规范。 352-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ChaiebN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ChaiebN05
胺链,托比亚斯·尼普科:
Presburger算法的验证和反射量词消除。 367-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DaumMSS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DaumMSS05
马蒂亚斯·道姆,斯特凡·莫斯,诺伯特·希默,穆罕默德·纳西姆·塞吉尔:
将软件模型检查器集成到Isabelle中。 381-395
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/TabakovV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/TabakovV05
戴安·塔巴科夫,莫舍·瓦尔迪:
经典自动机构造的实验评估。 396-411
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/AhrendtRS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/AhrendtRS05
沃尔夫冈·阿伦特,安德烈亚斯·罗斯,拉尔夫·萨西:
针对重写语义的Java验证的转换规则的自动验证。 412-426
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/WaltherS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/WaltherS05
克里斯托夫·沃尔特,斯蒂芬·施韦策:
关于不完全定义程序的推理。 427-442
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/TangT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/TangT05
卡尔文·凯凡·唐,尤金妮娅·特诺夫斯卡:
使用答案集编程的模型检查抽象状态机。 443-458
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/GalmicheM05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GalmicheM05
迪迪埃·加尔米奇,丹尼尔·梅里:
表征中的Provability。 459-473
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/TuchK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/TuchK05
哈维·图奇,格温·克莱因:
指针的统一内存模型。 474-488
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/FerraraPV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/FerraraPV05
安德烈亚·费拉拉,潘国强,莫舍·瓦尔迪:
验证中的树宽：本地与全局。 489-503
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BozzelliMP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BozzelliMP05
劳拉·博泽利,阿尼洛·穆拉诺,阿德里亚诺·佩隆:
下压模块检查。 504-518
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DuanHLOSZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DuanHLOSZ05
段建军,乔·赫德,李国栋,斯科特·欧文斯,康拉德·斯林德,张俊兴:
加密算法的功能正确性证明。 519-533
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/McIverW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/McIverW05
安娜贝拉·麦克维尔,贾克·韦伯:
概率分布式系统的自动证明支持。 534-548
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/盆地MV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BasinMV05
大卫·A·巴思,塞巴斯蒂安·莫德谢姆,卢卡·维甘:
代数入侵者演绎。 549-564
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/MarienMDB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/MarienMDB05
马尔滕·马里恩,鲁德拉德布·米特拉,马克·德内克,莫里斯·布吕诺格:
PC（ID）的可满足性检查。 565-579
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Gelder05a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Gelder05a
阿伦·范·盖尔德:
池解析及其与规则解析和DPLL与子句学习的关系。 580-594
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ShenZ05文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ShenZ05
沈海鸥,张汉涛:
另一种完整的SAT局部搜索方法。 595-605
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Coste-MarquisDM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Coste-MarquisDM05
西尔维·科斯特·马奎斯,卡罗琳·德弗雷德,皮埃尔·马奎斯:
从有争议的论点中推断。 606-620
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DastaniGRT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DastaniGRT05
迈赫迪·达斯坦尼,圭多总督府,安东尼诺·罗托洛,Leendert W.N.van der Torre（林德特·范德托雷）:
用可击败逻辑编程认知代理。 621-636
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/DixFS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/DixFS05
尤尔根·迪克斯,沃尔夫冈·费伯,V.S.Subrahmanian公司:
隐私推理与默认逻辑之间的关系。 637-650
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SheremetTTWZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SheremetTTWZ05
米哈伊尔·谢勒梅,德米特里·蒂什科夫斯基,弗兰克·沃尔特,迈克尔·扎克哈里亚舍夫:
比较相似性、树自动机和丢番图方程。 651-665
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/佐丹奴GOP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/GordanoGOP05
劳拉·佐丹奴,瓦伦蒂娜·格里奥齐,尼古拉·奥利维蒂,吉安·卢卡·波扎托:
荷兰皇家航空公司优先逻辑和累积逻辑分析表。 666-681
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Larchey-Wendling05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Larchey-Wendling05网址
Dominique Larchey-Wendling公司:
用Gödel-Dummett Logics限定资源消耗。 682-696
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/BazI05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/BazI05
马提亚斯·巴兹,罗莎莉·伊姆霍夫:
论存在逻辑中的插值。 697-711
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/ChristiansenM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/ChristiansenM05
亨宁·克里斯蒂安森,戴维德·马丁内吉:
增量完整性检查：限制和可能性。 712-727
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Fritz05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Fritz05
卡斯滕·弗里茨:
LTL中的自动构建概念。 728-742

服务

管理网站设置

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