首页> 外文OA文献 >Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions

【2h】

Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions

机译：pi：部分归纳定义微积分的交互式推导编辑器

页面导航

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

著录项

作者
Lars-henrik Eriksson;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Notes on some second-order systems of iterated inductive definitions and Pi(1)(1)-comprehensions and relevant subsystems of set theory [J] . Fujimoto Kentaro Annals of Pure and Applied Logic . 2015,第4期

机译：关于迭代归纳定义和Pi（1）（1）-理解的某些二阶系统以及集合论的相关子系统的注释
2. pi-calculus in (Co)inductive-type theory [J] . Honsell F., Scagnetto I., Miculan M. Theoretical computer science . 2001,第2期

机译：（共）归纳型理论中的微积分
3. ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS [J] . GIOVANNICURI Journal of Symbolic Logic . 2018,第2期

机译：摘要归纳和共同归因定义
4. CIC: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions [C] . Gilles Barthe, Benjamin Gregoire, Fernando Pastawski International Conference on Logic for Programming, Artificial Intelligence and Reasoning(LPAR 2006); 20061113-17; Phnom Penh(KH) . 2006

机译：CIC：归纳构造演算中基于类型的递归定义终止
5. The situation calculus: Decidability and an approach based on the logic for non-monotone inductive definitions. [D] . Ternovska, Evgenia Aleksandrovna. 2002

机译：情境演算：可判定性和基于非单调归纳定义逻辑的方法。
6. Editors Choice: Standardized endpoint definitions for transcatheter aortic valve implantation clinical trials: a consensus report from the Valve Academic Research Consortium [O] . Martin B. Leon, Nicolo Piazza, Eugenia Nikolsky, -1

机译：编辑推荐：经导管主动脉瓣植入临床试验的标准化终点定义：Valve学术研究联盟的共识报告
7. A programming calculus based on partial inductive definitions (with an introduction to the theory of partial inductive definitions) [O] . Eriksson Lars-Henrik, Hallnäs Lars 1988

机译：基于部分归纳定义的编程演算（介绍部分归纳定义的理论）

Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions

著录项

引文网络

相似文献

相关主题

期刊订阅