文章基本信息

标题：Some definitorial suggestions for parameterized proof complexity
本地全文：下载
作者：Joerg Flum, Moritz Müller
期刊名称：Electronic Colloquium on Computational Complexity
印刷版ISSN：1433-8092
出版年度：2012
卷号：2012
出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
摘要：We introduce a (new) notion of parameterized proof system. For parameterized versions of standard proof systems such as Extended Frege and Substitution Frege we compare their complexity with respect to parameterized simulations.
关键词：Frege systems, Parameterization, Proof Complexity, simulations