5570 results in Programming Languages and Applied Logic
4 - Model Checking Quantum Automata
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 50-86
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp i-iv
-
- Chapter
- Export citation
References
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 201-207
-
- Chapter
- Export citation
2 - Basics of Model Checking
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 6-30
-
- Chapter
- Export citation
5 - Model Checking Quantum Markov Chains
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 87-137
-
- Chapter
- Export citation
3 - Basics of Quantum Theory
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 31-49
-
- Chapter
- Export citation
Contents
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp v-viii
-
- Chapter
- Export citation
Appendix 1 - Proofs of Technical Lemmas in Chapter 4
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 181-189
-
- Chapter
- Export citation
6 - Model Checking Super-Operator-Valued Markov Chains
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 138-174
-
- Chapter
- Export citation
Appendix 3 - Proofs of Technical Lemmas in Chapter 6
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 196-200
-
- Chapter
- Export citation
Preface
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp ix-x
-
- Chapter
- Export citation
7 - Conclusions and Prospects
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 175-180
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp xi-xii
-
- Chapter
- Export citation
Appendix 2 - Proofs of Technical Lemmas in Chapter 5
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 190-195
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 1-5
-
- Chapter
- Export citation
Model Checking Quantum Systems
- Principles and Algorithms
-
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021
11 - A Dialogical Account of Proofs in Mathematical Practice
- from Part III - Deduction and Cognition
-
- Book:
- The Dialogical Roots of Deduction
- Published online:
- 10 December 2020
- Print publication:
- 17 December 2020, pp 205-233
-
- Chapter
- Export citation
Conclusions
- from Part III - Deduction and Cognition
-
- Book:
- The Dialogical Roots of Deduction
- Published online:
- 10 December 2020
- Print publication:
- 17 December 2020, pp 234-237
-
- Chapter
- Export citation
Figures
-
- Book:
- The Dialogical Roots of Deduction
- Published online:
- 10 December 2020
- Print publication:
- 17 December 2020, pp viii-viii
-
- Chapter
- Export citation
5 - Deduction in Mathematics and Dialectic in Ancient Greece
- from Part II - The History of Deduction
-
- Book:
- The Dialogical Roots of Deduction
- Published online:
- 10 December 2020
- Print publication:
- 17 December 2020, pp 87-107
-
- Chapter
- Export citation