The NP Search Problems of Frege and Extended Frege Proofs

机译：Frege和扩展Frege证明的Np搜索问题

代理获取

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

页面导航

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

著录项

作者
Beckmann Arnold;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The NP Search Problems of Frege and Extended Frege Proofs [J] . Beckmann Arnold, Buss Sam ACM transactions on computational logic . 2017,第2期

机译：弗雷格和扩展弗雷格证明的NP搜索问题
2. Substitution Frege and extended Frege proof systems in non-classical logics [J] . Jerabek E Annals of Pure and Applied Logic . 2009,第1a2期

机译：非经典逻辑中的替代Frege和扩展Frege证明系统
3. Comparison of Proof Sizes in Frege Systems and Substitution Frege Systems [J] . Anahit Chubaryan, Hakob Nalbandyan International Journal Information Theories and Applications . 2010,第2期

机译：弗雷格系统和替代弗雷格系统的证明大小比较
4. Propositional Proofs in Frege and Extended Frege Systems (Abstract) [C] . Samuel R. Buss International computer science symposium in Russia . 2015

机译：弗雷格和扩展弗雷格系统中的命题证明（摘要）
5. Frege's Realism Revisited: A Critique of Recent Trends in Frege Scholarship. [D] . Waters, Chapman. 2017

机译：重新审视弗雷格的现实主义：对弗雷格奖学金最近趋势的评论。
6. Lightweight Proof of Game (LPoG): A Proof of Work (PoW)’s Extended Lightweight Consensus Algorithm for Wearable Kidneys [O] . Adarsh Kumar, Deepak Kumar Sharma, Anand Nayyar, 2020

机译：轻量级游戏证明（LPoG）：工作量证明（PoW）的可扩展肾脏轻量级共识算法
7. Propositional Proofs in Frege and Extended Frege Systems (Abstract) [O] . Sam Buss 2015

机译：弗雷格和扩展弗雷格系统的命题证明（摘要）

The NP Search Problems of Frege and Extended Frege Proofs

著录项

引文网络

相似文献

相关主题

期刊订阅