Erasing logic-memory boundaries in superconductor electronics.
Vasili K. SemenovPublished in: ICRC (2016)
Keyphrases
- memory space
- boundary conditions
- computing power
- logic programming
- memory requirements
- memory size
- classical logic
- computational properties
- computational power
- memory usage
- main memory
- asynchronous circuits
- logical framework
- limited memory
- deontic logic
- proof theory
- random access memory
- random access
- description logics
- multi valued
- expressive power
- sufficient conditions