Full Abstraction and Recursion.

Michael W. Mislove Frank J. Oles

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

Keyphrases

deductive databases
image processing
high level
complex objects
data abstraction
real time
machine learning
image segmentation
datalog programs