Publication | Closed Access
On the complexity of the parity argument and other inefficient proofs of existence
791
Citations
23
References
1994
Year
EngineeringAutomated ReasoningParity ArgumentProof ComplexityFormal MethodsComputational ComplexityTime ComplexityProof TheoryDiscrete MathematicsProof SystemOther Inefficient ProofsComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1