首页> 外文OA文献 >TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory

【2h】

TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory

机译：Tps：一种证明类型理论定理的交互式自动工具

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Peter B. Andrews; Matthew Bishop; Sunil Issar; Dan Nesmith; Frank Pfenning; Hongwei Xi; Contact Peter; B. Andrews;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The Open Calculus of Constructions (Part Ⅱ): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving [J] . Mark-Oliver Stehr Fundamenta Informaticae . 2005,第3期

机译：构造的开放演算（第二部分）：依赖类型的方程式类型理论，用于编程，规范和交互式定理证明
2. The Open Calculus of Constructions (Part Ⅰ): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving [J] . Mark-Oliver Stehr Fundamenta Informaticae . 2005,第1a2期

机译：构造的开放演算（第一部分）：依赖类型的方程式理论，用于程序设计，规范和交互式定理证明
3. A new algebraic tool for Automatic Theorem Provers Multisemilattice: A structure to improve the efficiency of provers in temporal logics [J] . P. Cordero, G. Gutierrez, J. Martinez, Annals of Mathematics and Artificial Intelligence . 2004,第4期

机译：自动定理证明多重半精算的新代数工具：一种提高时间逻辑证明者效率的结构
4. Proving Theorems of Type Theory Automatically with TPS [C] . Peter B. Andrews National Conference on Artificial Intelligence . 2005

机译：用TPS自动证明类型理论的定理
5. Using experimental mathematics to conjecture and prove theorems in the theory of partitions and commutative and non-commutative recurrences. [D] . Russell, Matthew Christopher. 2016

机译：用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
6. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data [O] . Sunny Raj, Faraz Hussain, Zubir Husein, 2017

机译：自动合成流式细胞仪数据可视化的定理证明方法
7. Proving Theorems of Type Theory Automatically with TPS [O] . Peter B. Andrews 2013

机译：TPS自动证明类型理论的定理

TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory

著录项

引文网络

相似文献

相关主题

期刊订阅