Polarized and focalized linear and classical proofs.

Olivier Laurent Myriam Quatrini Lorenzo Tortora de Falco

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

databases
neural network
machine learning
linear systems
data sets
web services
case study
multiscale
data structure
learning environment
theorem prover
linear constraints