Boolean Functions and Computation Models
This advanced textbook surveys research on boolean functions, circuits, parallel computation models, function algebras, and proof systems, with an overriding focus on the structure of "fast" parallel computation.
| Autor: | Clote, Peter Kranakis, Evangelos |
|---|---|
| ISBN: | 9783642082177 |
| Sprache: | Englisch |
| Seitenzahl: | 602 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 21.10.2010 |
| Schlagworte: | Beweissysteme Boolean function Boolesche Funktionen Erfüllbarkeitsproblem der Aussagenlogik Komplexitätstheorie Paralleles Rechnen combinatorics complexity complexity theory proof theory |