6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
17 - Boolean Aspects of Network Reliability
- from Part IV - Applications in Engineering
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 723-759
-
- Chapter
- Export citation
1 - Compositions and Clones of Boolean Functions
- from Part I - Algebraic Structures
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 3-38
-
- Chapter
- Export citation
16 - Synthesis of Multilevel Boolean Networks
- from Part IV - Applications in Engineering
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 675-722
-
- Chapter
- Export citation
2 - Decomposition of Boolean Functions
- from Part I - Algebraic Structures
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 39-76
-
- Chapter
- Export citation
3 - Proof Theory
- from Part II - Logic
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 79-98
-
- Chapter
- Export citation
Contributors
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp xv-xvi
-
- Chapter
- Export citation
15 - Hardware Equivalence and Property Verification
- from Part IV - Applications in Engineering
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 599-674
-
- Chapter
- Export citation
11 - Circuit Complexity
- from Part IV - Graph Representations and Efficient Computation Models
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 506-530
-
- Chapter
- Export citation
Boolean Models and Methods in Mathematics, Computer Science, and Engineering
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp xix-xx
-
- Chapter
- Export citation
Part II - Logic
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 77-78
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp xiii-xiv
-
- Chapter
- Export citation
Preface
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp vii-viii
-
- Chapter
- Export citation
7 - Learning Boolean Functions with Queries
- from Part III - Learning Theory and Cryptography
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 221-256
-
- Chapter
- Export citation
Acronyms and Abbreviations
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp xvii-xviii
-
- Chapter
- Export citation
12 - Fourier Transforms and Threshold Circuit Complexity
- from Part IV - Graph Representations and Efficient Computation Models
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 531-553
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp i-iv
-
- Chapter
- Export citation
9 - Vectorial Boolean Functions for Cryptography
- from Part III - Learning Theory and Cryptography
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 398-470
-
- Chapter
- Export citation
On the D0L Repetition Threshold
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 44 / Issue 3 / July 2010
- Published online by Cambridge University Press:
- 23 June 2010, pp. 281-292
- Print publication:
- July 2010
-
- Article
- Export citation
Parallel Algorithms for Maximal Cliques in Circle Graphs and Unrestricted Depth Search
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 44 / Issue 3 / July 2010
- Published online by Cambridge University Press:
- 23 June 2010, pp. 293-311
- Print publication:
- July 2010
-
- Article
- Export citation
On the Number of Perfect Matchings in Random Lifts
-
- Journal:
- Combinatorics, Probability and Computing / Volume 19 / Issue 5-6 / November 2010
- Published online by Cambridge University Press:
- 09 June 2010, pp. 791-817
-
- Article
- Export citation