Stratified Bounded Affine Logic for Logarithmic Space.

Published in: LICS (2007)

Keyphrases

case study
logic programming
search space
worst case
classical logic
database
bayesian networks
space time
affine invariant
computational properties
linear space