|
Summary: Structure of machine in a protocol. 5170, 5192, 6071 Equivalence relation over protocol Homomorphism over protocol Protocol equivalent relations over |
|
|
Summary: The problem of "simplifying" a machine. Gödel's theorem described Simplicity in homomorphisms |
|
| 5084 | 5085 |
 |
|