Completeness Results for Memory Logics.

Carlos Areces Santiago Figueira Sergio Mera

Published in: LFCS (2009)

Keyphrases

expressive power
memory requirements
computing power
data sets
modal logic
memory space
data structure
case study
bayesian networks
computational power
random access
working memory
memory size
memory footprint
memory capacity