Recursion and Parameter Mechanisms: An Axiomatic Approach.

Willem P. de Roever

Published in: ICALP (1974)

Keyphrases

parameter values
control system
mechanisms underlying
optimal parameters
transitive closure
parameter settings
complex objects
parameter space
building blocks
databases
case study
decision trees
computer vision
artificial intelligence
learning algorithm
data mining
neural network