Proof Nets And Explicit Substitutions.

Roberto Di Cosmo Delia Kesner Emmanuel Polonowski

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

Keyphrases

theorem proving
theorem prover
real world
learning algorithm
real time
databases
data mining
artificial intelligence
information systems
multi agent
multiresolution
special case
probabilistic model