Recursive Mean-Value Calculus.

Paritosh K. Pandya Y. S. Ramakrishna

Published in: FSTTCS (1998)

Keyphrases

evolutionary algorithm
expressive power
recursive algorithm
recursive functions
automated deduction
database
artificial intelligence
inductive inference
formal language
relational calculus
iterative refinement