首页> 外文OA文献 >The Complexity of Local Proof Search in Linear Logic (Extended Abstract)

【2h】

The Complexity of Local Proof Search in Linear Logic (Extended Abstract)

机译：线性逻辑中局部证明搜索的复杂性（扩展摘要）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Lincoln Patrick D.; Mitchell John C.; Scedrov Andre;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 限制数量约束的扩展模糊描述逻辑的推理复杂性 [J] . 陆建江, 李言辉, 张亚非, 东南大学学报（英文版） . 2007,第002期
2. Proof search for prepositional abstract separation logics via labelled sequents [J] . Markus Wolf Computing reviews . 2014,第8期

机译：通过带标签的序列来证明介词抽象分离逻辑的证明搜索
3. Proof Search for Propositional Abstract Separation Logics via Labelled Sequents [J] . Zhé Hóu, Ranald Clouston, Rajeev Goré, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第1期

机译：通过标注的序列证明进行命题抽象分离逻辑的证明搜索
4. Optimization complexity of linear logic proof games [J] . Patrick D. Lincoln, John C. Mitchell, Andre Scedrov Theoretical computer science . 1999,第1a2期

机译：线性逻辑证明游戏的优化复杂性
5. Proof-Search and Countermodel Generation in Propositional BI Logic Extended Abstract [C] . Didier Galmiche, Daniel Mery 4th International Symposium on Theoretical Aspects of Computer Software TACS 2001, 4th, Oct 29-31, 2001, Sendai, Japan . 2001

机译：命题BI逻辑扩展摘要中的证明搜索和反模型生成
6. Logical approaches to the complexity of search problems: Proof complexity, quantified propositional calculus, and bounded arithmetic. [D] . Morioka, Tsuyoshi. 2005

机译：解决搜索问题复杂性的逻辑方法：证明复杂性，量化命题演算和有界算术。
7. Proof theory for locally finite many-valued logics: Semi-projective logics [O] . Agata Ciabattoni, Franco Montagna -1

机译：局部有限多值逻辑的证明理论：半射逻辑
8. Isolating Resource Consumption in Linear Logic Proof Search Extended abstract [O] . Lòpez Pablo, Pimentel Ernesto, Hodas Joshua S., 2002

机译：在线性逻辑证明搜索中隔离资源消耗扩展的摘要
9. On the Complexity of Linear Search Tree Programs for Searching (Extended Abstract). [R] . lipton,richard j. dobkin,david 1975

机译：关于线性搜索树搜索程序的复杂性（扩展摘要）。

The Complexity of Local Proof Search in Linear Logic (Extended Abstract)

著录项

引文网络

相似文献

相关主题

期刊订阅