**This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.**

### Abstract

A formalization of the theory of quantum and classical registers as
developed by (Unruh, Quantum and Classical Registers). In a nutshell,
a register refers to a part of a larger memory or system that can be
accessed independently. Registers can be constructed from other
registers and several (compatible) registers can be composed. This
formalization develops both the generic theory of registers as well as
specific instantiations for classical and quantum registers.

### License

### Topics

- Computer science/Algorithms/Quantum computing
- Computer science/Programming languages/Logics
- Computer science/Semantics and reasoning

### Session Registers

- Axioms
- Laws
- Axioms_Complement
- Laws_Complement
- Axioms_Classical
- Laws_Classical
- Misc
- Classical_Extra
- Finite_Tensor_Product
- Axioms_Quantum
- Laws_Quantum
- Quantum
- Quantum_Extra
- QHoare
- Finite_Tensor_Product_Matrices
- Teleport
- Axioms_Complement_Quantum
- Laws_Complement_Quantum
- Quantum_Extra2
- Pure_States
- Check_Autogenerated_Files