Nontrivial Definability by Flow-Chart Programs

Published in: Inf. Control. (1983)

Keyphrases

fixed point
propositional logic
computer programs
databases
programming environment
intermediate level
automatic programming
data sets
machine learning
computer vision
data structure
lower bound
answer sets