Light Logics and Optimal Reduction: Completeness and Complexity.

Patrick Baillot Paolo Coppola Ugo Dal Lago

Published in: LICS (2007)

Keyphrases

propositional calculus
worst case
complexity reduction
dynamic programming
website
three dimensional
optimal solution
neural network
learning algorithm
artificial intelligence
image sequences
expressive power
memory requirements
inference rules
reduction method