Präsentiert durch Paradigm Publishing Services
Princeton University Press
Kapitel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
Chapter 2. Boolean Algebra
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Kapitel in diesem Buch
- Frontmatter i
- Contents vii
- Preface xi
- Chapter 1. Introduction 1
- Chapter 2. Boolean Algebra 31
- Chapter 3. L-matrix 45
- Chapter 4. L-language 51
- Chapter 5. String Acceptors 63
- Chapter 6. ω-theory: L-automaton/L-process 77
- Chapter 7. The Selection/Resolution Model of Coordinating Processes 109
- Chapter 8. Reduction of Verification 153
- Chapter 9. Structural Induction 203
- Chapter 10. Binary Decision Diagrams 215
- Appendices 231
- Bibliography 241
- Glossary 263
- Index 264
- Backmatter 271
Kapitel in diesem Buch
- Frontmatter i
- Contents vii
- Preface xi
- Chapter 1. Introduction 1
- Chapter 2. Boolean Algebra 31
- Chapter 3. L-matrix 45
- Chapter 4. L-language 51
- Chapter 5. String Acceptors 63
- Chapter 6. ω-theory: L-automaton/L-process 77
- Chapter 7. The Selection/Resolution Model of Coordinating Processes 109
- Chapter 8. Reduction of Verification 153
- Chapter 9. Structural Induction 203
- Chapter 10. Binary Decision Diagrams 215
- Appendices 231
- Bibliography 241
- Glossary 263
- Index 264
- Backmatter 271