A Logic for Memory.

Christian Schumacher

Published in: Nonclassical Logics and Information Processing (1990)

Keyphrases

logic programming
memory usage
modal logic
random access memory
computing power
memory requirements
databases
defeasible logic
main memory
automated reasoning
set theory
formal theory
memory size
asynchronous circuits
data sets
multi agent
computational properties
information systems
digital circuits