More on the relative strength of counting principles.
P. Beame, and S. Riis. Proof Complexity and Feasible Arithmetics, volume 39 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 13-35. DIMACS/AMS, (1996)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/dimacs/BeameR96
%A Beame, Paul
%A Riis, Søren
%B Proof Complexity and Feasible Arithmetics
%D 1996
%E Beame, Paul
%E Buss, Samuel R.
%I DIMACS/AMS
%K dblp
%P 13-35
%T More on the relative strength of counting principles.
%U http://dblp.uni-trier.de/db/conf/dimacs/dimacs39.html#BeameR96
%V 39
%@ 978-0-8218-0577-0
@inproceedings{conf/dimacs/BeameR96,
added-at = {2022-06-09T00:00:00.000+0200},
author = {Beame, Paul and Riis, Søren},
biburl = {https://www.bibsonomy.org/bibtex/2136df1d97e73fd02999d3e5b8ee522d7/dblp},
booktitle = {Proof Complexity and Feasible Arithmetics},
crossref = {conf/dimacs/dimacs39},
editor = {Beame, Paul and Buss, Samuel R.},
ee = {https://doi.org/10.1090/dimacs/039/02},
interhash = {834627bc63e795de1cca71f5d6ef27ec},
intrahash = {136df1d97e73fd02999d3e5b8ee522d7},
isbn = {978-0-8218-0577-0},
keywords = {dblp},
pages = {13-35},
publisher = {DIMACS/AMS},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
timestamp = {2024-04-09T17:59:39.000+0200},
title = {More on the relative strength of counting principles.},
url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs39.html#BeameR96},
volume = 39,
year = 1996
}
