Keyphrases
- cellular automata
- memory requirements
- logic programming
- memory usage
- random access memory
- modal logic
- automated reasoning
- multi valued
- classical logic
- database
- limited memory
- computing power
- delay insensitive
- memory size
- formal theory
- memory management
- digital circuits
- memory space
- computational power
- temporal logic
- data sets