Interpolation and Symbol Elimination in Vampire*

机译：吸血鬼中的插值和符号消除*

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such as invariant generation and computing interpolants. This tool paper describes how such proofs and interpolant generation are implemented in the first-order theorem prover Vampire.

机译：近来已经表明，其中一些符号被着色的证明（例如，局部或分割证明和消除符号的证明）可以用于许多应用，例如不变生成和计算内插。本工具文件描述了在一阶定理证明者Vampire中如何实现这样的证明和内插生成。

著录项

来源
《Automated reasoning》|2010年|p.188-195|共8页
会议地点 Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB);Edihburgh(GB)
作者
Krystof Hoder; Laura Kovacs; Andrei Voronkov;
展开▼
作者单位

University of Manchester;

TU Vienna;

University of Manchester;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. On Interpolation and Symbol Elimination in Theory Extensions [J] . Sofronie-Stokkermans Viorica Logical Methods in Computer Science . 2018,第3期

机译：理论扩展中的插值与符号消除
2. Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics [J] . Adam P?enosil Studia Logica . 2017,第6期

机译：削减消除，身份消除和超级Belnap逻辑的插值
3. Interaction between Symbol Timing Offset and Channel Interpolation in OFDM Systems: BER Analysis and Performance Degradation [J] . Serafin Salido, F. Javier Lopez-Martinez, Eduardo Martos-Naya, Wireless personal communications: An Internaional Journal . 2014,第2期

机译：OFDM系统中符号定时偏移和信道插值之间的相互作用：BER分析和性能下降
4. Interpolation and Symbol Elimination in Vampire [C] . Krystof Hoder, Laura Kovacs, Andrei Voronkov International Joint Conference on Automated Reasonin . 2010

机译：吸血鬼的插值和符号消除
5. The Dance of the Vampires: A Gothic Ballad with a Hint of Garlic. Adaptation by Tatyana Wilds from 'Dance of the Vampires', a musical by Jim Steinman [D] . Wilds, Tatyana V. 2013

机译：吸血鬼之舞：带有大蒜味的哥特式民谣。 Tatyana Wilds改编自Jim Steinman的音乐剧《吸血鬼之舞》
6. The Symbol Grounding Problem Revisited: A Thorough Evaluation of the ANS Mapping Account and the Proposal of an Alternative Account Based on Symbol–Symbol Associations [O] . Bert Reynvoet, Delphine Sasanguie -1

机译：再次探讨符号基础问题：对ANS映射帐户的全面评估以及基于符号-符号关联的替代帐户的建议
7. On Interpolation and Symbol Elimination in Theory Extensions [O] . Sofronie-Stokkermans, Viorica 2017

机译：论理论扩展中的插值与符号消除

Interpolation and Symbol Elimination in Vampire*

摘要

著录项

相似文献

相关主题

期刊订阅