Formal Derivation of a List Processing Program.

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

Keyphrases

information processing
computational power
computer programs
real time
objective function
neural network
knowledge representation
data processing
efficient processing
static analysis
mathematical theory