Recursion-Closed Algebraic Theories.

Jean H. Gallier

Published in: J. Comput. Syst. Sci. (1981)

Keyphrases

complex objects
deductive databases
higher order
real time
data sets
image processing
algebraic geometry
algebraic expressions
data mining
computer vision
theoretical framework
decision theory
cognitive psychology
algebraic structure
legal knowledge