Proof nets, garbage, and computations.

Stefano Guerrini Simone Martini Andrea Masini

Published in: Theor. Comput. Sci. (2001)

Keyphrases

theorem proving
neural network
linear logic
information retrieval
garbage collection
proof planning
databases
information systems
image processing
decision trees
three dimensional
evolutionary algorithm
special case
efficient computation