An Algebraic Theory of Recursive Definitions and Recursive Languages

Published in: STOC (1971)

Keyphrases

theoretical foundation
theoretical basis
datalog programs
neural network
real world
data mining
learning algorithm
artificial intelligence
computer vision
case study
database systems
computational model
theoretical framework
expressive power