Hereditary Harrop Formulas and Uniform Proof Systems

Dale Miller Gopalan Nadathur Andre Scedrov

Published in: LICS (1987)

Keyphrases

data structure
database
databases
neural network
real time
image sequences
multiscale
relational databases
intelligent systems
building blocks
retrieval systems
propositional logic
computing systems