On light logics, uniform encodings and polynomial time.

Ugo Dal Lago Patrick Baillot

Published in: Math. Struct. Comput. Sci. (2006)

Keyphrases

special case
expressive power
modal logic
approximation algorithms
finds an optimal solution
orders of magnitude
computational complexity
data sets
inference rules
np hardness
logic programs
classical logic
boolean satisfiability
linear array
light scattering
propositional calculus
database