Head Linear Reduction and Pure Proof Net Extraction.

Gianfranco Mascari Marco Pedicini

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

Keyphrases

information extraction
data sets
closed form
automatic extraction
information systems
database programming
database
neural network
machine learning
image processing
decision trees
video sequences
knowledge extraction
linear constraints
linear complexity
automatically extracting