TY - GEN
AU - DIMACS (Group)
AU - NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
AU - Beame, Paul W.
AU - Buss, Samuel R
TI - Proof complexity and feasible arithmetics DIMACS workshop, April 21-24, 1996
PB - American Mathematical Society
SN - 9781470439972
KW - Proof theory ; Congresses
KW - Constructive mathematics ; Congresses
KW - Computational complexity ; Congresses
KW - Konferenzschrift 1996 New Brunswick, NJ
KW - Beweistheorie
KW - Konstruktive Mathematik
KW - Berechnungskomplexität
PY - 1998
N2 - Includes bibliographical references. - Electronic reproduction;Providence, Rhode Island;American Mathematical Society;2012. - Description based on print version record
BT - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 39
CY - Providence, R.I.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation