![]() |
@article{DBLP:journals/eccc/ECCC-TR94-010,
author = {Alexander A. Razborov and
Steven Rudich},
title = {Natural Proofs},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {1},
number = {10},
year = {1994},
ee = {http://eccc.hpi-web.de/eccc-reports/1994/TR94-010/index.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-06-30 by Michael Ley (ley@uni-trier.de)