The paper's proposed characterization of p-simulation between theories is not established, because the right-to-left proof uses an invalid logical generalization step.
Buss, Bounded arithmetic, Lecture notes, Bibliopolis, 1986
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.CC 1years
2025 1verdicts
REJECT 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
A Proposed Characterization of p-Simulation Between Theories
The paper's proposed characterization of p-simulation between theories is not established, because the right-to-left proof uses an invalid logical generalization step.