COUNTING IN BOUNDED ARITHMETIC AND RELATED PROBLEMS

被引：0

|

作者：

PARIS, J

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1437 / 1437

页数：1

相关论文

共 50 条

[1] COUNTING PROBLEMS IN BOUNDED ARITHMETIC
PARIS, J
WILKIE, A
LECTURE NOTES IN MATHEMATICS, 1985, 1130 : 317 - 340
[2] Approximate counting in bounded arithmetic
Jerabek, Emil
JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (03) : 959 - 993
[3] APPROXIMATE COUNTING BY HASHING IN BOUNDED ARITHMETIC
Jerabek, Emil
JOURNAL OF SYMBOLIC LOGIC, 2009, 74 (03) : 829 - 860
[4] Herbrandizing search problems in Bounded Arithmetic
Hanika, J
MATHEMATICAL LOGIC QUARTERLY, 2004, 50 (06) : 577 - 586
[5] Counting and Enumeration Problems with Bounded Treewidth
Pichler, Reinhard
Ruemmele, Stefan
Woltran, Stefan
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 387 - 404
[6] The provably total search problems of bounded arithmetic
Skelley, Alan
Thapen, Neil
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2011, 103 : 106 - 138
[7] Witnessing functions in bounded arithmetic and search problems
Chiari, M
Krajicek, J
JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (03) : 1095 - 1115
[8] COUNTING PROBLEMS FOR GEODESICS ON ARITHMETIC HYPERBOLIC SURFACES
Linowitz, Benjamin
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2018, 146 (03) : 1347 - 1361
[9] COLLAPSING MODULAR COUNTING IN BOUNDED ARITHMETIC AND CONSTANT DEPTH PROPOSITIONAL PROOFS
Buss, Samuel R.
Kolodziejczyk, Leszek Aleksander
Zdanowski, Konrad
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2015, 367 (11) : 7517 - 7563
[10] BOUNDED ARITHMETIC PREDICATES AND BOUNDED ARITHMETIC HIERARCHY
HARROW, K
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A366 - A366

← 1 2 3 4 5 →