Bounds for Hodes - Specker theorem
- 1 January 1984
- book chapter
- Published by Springer Nature
- p. 421-445
- https://doi.org/10.1007/3-540-13331-3_57
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- $\Omega (n\log n)$ Lower Bounds on Length of Boolean FormulasSIAM Journal on Computing, 1982
- Lower bounds for the size of expressions for certain functions in d-ary logicTheoretical Computer Science, 1976