Full Abstraction and Expressive Completeness for FP

Joseph Y. Halpern Edward L. Wimmers

Published in: Inf. Comput. (1995)

Keyphrases

high level
data quality
data sets
natural language
digital libraries
data abstraction
state abstraction
image processing
multi agent
preprocessing
heuristic search