Zum Hauptinhalt springen
Präsentiert durch Paradigm Publishing Services

Princeton University Press

Unsere Partnerseite besuchen Alle unsere Bücher ansehen
Kapitel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

Chapter 2. Boolean Algebra

Kapitel in diesem Buch

  1. Frontmatter i
  2. Contents vii
  3. Preface xi
  4. Chapter 1. Introduction 1
  5. Chapter 2. Boolean Algebra 31
  6. Chapter 3. L-matrix 45
  7. Chapter 4. L-language 51
  8. Chapter 5. String Acceptors 63
  9. Chapter 6. ω-theory: L-automaton/L-process 77
  10. Chapter 7. The Selection/Resolution Model of Coordinating Processes 109
  11. Chapter 8. Reduction of Verification 153
  12. Chapter 9. Structural Induction 203
  13. Chapter 10. Binary Decision Diagrams 215
  14. Appendices 231
  15. Bibliography 241
  16. Glossary 263
  17. Index 264
  18. Backmatter 271
Computer-Aided Verification of Coordinating Processes
Ein Kapitel aus dem Buch Computer-Aided Verification of Coordinating Processes
https://doi.org/10.1515/9781400864041.31

Kapitel in diesem Buch

  1. Frontmatter i
  2. Contents vii
  3. Preface xi
  4. Chapter 1. Introduction 1
  5. Chapter 2. Boolean Algebra 31
  6. Chapter 3. L-matrix 45
  7. Chapter 4. L-language 51
  8. Chapter 5. String Acceptors 63
  9. Chapter 6. ω-theory: L-automaton/L-process 77
  10. Chapter 7. The Selection/Resolution Model of Coordinating Processes 109
  11. Chapter 8. Reduction of Verification 153
  12. Chapter 9. Structural Induction 203
  13. Chapter 10. Binary Decision Diagrams 215
  14. Appendices 231
  15. Bibliography 241
  16. Glossary 263
  17. Index 264
  18. Backmatter 271
Heruntergeladen am 29.4.2026 von https://www.degruyterbrill.com/document/doi/10.1515/9781400864041.31/html?lang=de
Button zum nach oben scrollen