Full Abstraction and Unnested Recursion.

Michael W. Mislove Frank J. Oles

Published in: REX Workshop (1992)

Keyphrases

high level
deductive databases
complex objects
decision theoretic planning
real time
transitive closure
data abstraction
databases
genetic algorithm
artificial intelligence
three dimensional
abstraction hierarchy