|
|||||||||||||||||||
|
|||||||||||||||||||
ABSTRACT
This wide-ranging monograph covers a number of research areas including Boolean functions and Boolean circuit families, propositional proof systems, sequential and parallel models of computation, and function algebras. If anything links them all together, it is surely complexity. |
|||||||||||||||||||