停止战争！

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

对于科学家来说：

默认搜索操作

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

问别人

2007年第20届TPHOLs：德国凯泽斯劳滕

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

优化列表

精炼活动！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/2007
克劳斯·施耐德,延斯·布兰特:
《高阶逻辑中的定理证明》，第20届国际会议，TPHOLs 2007，德国凯泽斯劳滕，2007年9月10日至13日，论文集。计算机科学课堂讲稿4732,施普林格 2007，国际标准图书编号978-3-540-74590-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Heitmeyer07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Heitmeyer07网址
康斯坦斯·海特梅尔:
形式化方法在软件开发和认证中的应用。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Ligesmeyer07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Liggesmeyer07
彼得·利格斯迈耶:
软件工程中的形式化技术：正确的软件和安全系统。 3-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/AppelB07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/AppelB07
安德鲁·W·阿佩尔,桑德琳·布拉齐:
小步长cminor的分离逻辑。 5-21
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/AspinallS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/AspinallS07网址
大卫·阿斯皮纳尔,雅罗斯拉夫·塞维西克:
正式确立Java的无数据竞赛保证。 22-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/BulwahnKN07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/BluwahnKN07
卢卡斯·布尔瓦恩,亚历山大·克劳斯,托比亚斯·尼普科夫:
在Isabelle/HOL中查找终止证明的词汇顺序。 38-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tpol/Dawson07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Dawson07
杰里米·道森:
通用替代品的形式化。 54-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/DelahayeDE07会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/DelahayeDE07
大卫·德拉海耶,凯瑟琳·杜布瓦,Jean-Frédéric Etienne女士:
从逻辑归纳类型中提取纯功能内容。 70-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/GonthierMRTT07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/GonthierMRTT07网址
乔治·戈蒂尔,阿西亚·马布比,劳伦斯·里多,恩里科·塔西,洛朗·塞里:
有限群理论的模块化形式化。 86-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Harrison公司07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Harrison07网址
约翰·哈里森:
通过平方和验证非线性实公式。 102-118
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/哈桑T07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/HasanT07网址
奥斯曼·哈桑,索菲涅·塔哈尔:
HOL中离散随机变量期望性质的验证。 119-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/阿隆索BHMR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/AlonsoBHMR07
何塞-安东尼奥·阿隆索,若阿金·博雷戈·迪亚兹,玛丽亚·何塞·伊达尔戈,弗朗西斯科·杰苏斯·马丁·马特奥斯,何塞-路易斯·鲁伊斯·雷纳:
经正式验证的自动高度控制描述逻辑。 135-150
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Hurd07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Hurd07
乔·赫德:
证明珍珠：终结者的终结分析。 151-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/KangA07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/KangA07
Eunsuk Kang公司,马克·D·Aagaard:
通过受控自动化策略提高HOL的可用性。 157-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Minamide07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Minamide07网址
Yasuhiko Minamide公司:
上下文无关语法的验证决策程序。 173-188
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/NiYS07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/NiYS07网址
倪兆忠,大川于,钟绍:
使用XCAP验证真实系统代码：机器上下文管理。 189-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/NorrishV07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/NorrishV07网址
迈克尔·诺里什,雷内·维斯特加德:
证明珍珠：德布鲁因条款确实有效。 207-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Obua07号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Obua07网址
史蒂文·奥布亚:
证明珍珠：环绕轨道。 223-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/PaulsonS07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/PaulsonS07网址
劳伦斯·保尔森,孔友寿（Kong Woei Susanto）:
交互式定理证明的源层证明重构。 232-245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Pientka07会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Pientka07网址
布里吉特·皮恩特卡:
证明珍珠：LF逻辑框架中高阶编码的力量。 246-261
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Reynolds07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Reynolds07
詹姆斯·雷诺兹:
自动将类型和函数定义从HOL转换为ACL2。 262-277
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Rige07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Rigid07
汤姆·里奇:
并发Caml程序和弱内存模型的操作推理。 278-293
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/考夫曼S07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/KaufmannS07
马特·考夫曼,康拉德·斯林德:
证明珍珠：序数归纳法ε ₀. 294-301
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Sprenger公司B07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/SpringerB07
克里斯托夫·斯普伦格,大卫·A·巴思:
基于Monad的建模和验证工具箱及其在安全协议中的应用。 302-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/TheryH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/TheryH07网址
洛朗·塞里,纪尧姆·汉洛:
椭圆曲线的素数证明。 319-333
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Volker07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Volker07网址
诺伯特·沃尔克:
HOL2P-具有二阶多态性的经典高阶逻辑系统。 334-351
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tpol/WenzelW07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/WenzelW07网址
马卡里乌斯·温泽尔,伯克哈特·沃尔夫:
在Isabelle/Isar框架中构建形式化方法工具。 352-367
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/GarillotW07型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/GarillotW07
弗朗索瓦·加里洛,本杰明·沃纳:
类型理论中的简单类型：深层和浅层编码。 368-382
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tphol/Wiedijk07公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tphol/Wiedijk07网址
弗里克·维迪克:
Mizar的软类型系统。 383-399

服务

管理网站设置

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