The Unwind Property for Programs with Bounded Memory.

Published in: Inf. Process. Lett. (1985)

Keyphrases

bounded memory
data streams
automatic programming
real world
multi agent
digital libraries
databases
programming environment
computer programs
prolog programs
control structures
application programs
global consistency
fixpoint
logic programs
expert systems
machine learning
neural network