首页> 外文OA文献 >Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems)

【2h】

Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems)

机译：基于证明搜索方法的线性逻辑完整性证明（初步报告）（类型理论及其在计算机系统中的应用）

页面导航

著录项
相似文献
相关主题

著录项

作者
Okada Mitsuhiro; Terui Kazushige;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. LINEAR METHODS IN THE PROOF OF JACKSON TYPE INEQUALITIES AND APPLICATIONS TO ESTIMATES OF FUNCTIONALS WITH TWO KNOWN MOMENTS [J] . O. L. Vinogradov, V. V. Zhuk Journal of Mathematical Sciences . 2014,第4期

机译：杰克逊型不等式证明的线性方法及其在两个已知矩的函数估计中的应用
2. Proof search and Co-NP completeness for many-valued logics [J] . Bongini Mattia, Ciabattoni Agata, Montagna Franco Fuzzy sets and systems . 2016,第Juna1期

机译：多值逻辑的证明搜索和Co-NP完整性
3. SEQUENCE-INDEXED LINEAR-TIME TEMPORAL LOGIC: PROOF SYSTEM AND APPLICATION [J] . Ken Kaneiwa, Norihiro Kamide Applied Artificial Intelligence . 2010,第8a10期

机译：序列指示的线性时间时序逻辑：证明系统和应用
4. Self-reported Well-being Score Modelling and Prediction: Proof-of-Concept of an Approach based on Linear Dynamic Systems [C] . Xinyang Li, Riccardo Poli, Gaetano Valenza, Annual International Conference of the IEEE Engineering in Medicine and Biology Society . 2017

机译：自我报告的福祉评分和预测：一种基于线性动态系统的方法的概念
5. A categorical approach to linear logic, geometry of proofs and full completeness. [D] . Haghverdi, Esfandiar. 2000

机译：线性逻辑，证明几何和完全完整性的一种分类方法。
6. Development of a computer-based quantification method for immunohistochemically-stained tissues and its application to study mast cells in equine wound healing (proof of concept) [O] . Valérie Dubuc, Sheila Laverty, Hélène Richard, 2020

机译：直接免疫组织化学染色组织的基于计算机的量化方法及其在伤口愈合中研究肥大细胞的应用（概念证明）
7. Towards a Higher Order Unification Based on Proof Nets(Type Theory and its Applications to Computer Systems) [O] . Matsuoka Satoshi 1998

机译：基于证明网的高阶统一（类型理论及其在计算机系统中的应用）
8. Proof Theory for Authorization Logic and Its Application to a Practical File System [R] . Garg, D. 2009

机译：授权逻辑的证明理论及其在实际文件系统中的应用

Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems)

著录项

相似文献

相关主题

期刊订阅