On a Class of Recursive Procedures and Equivalent Iterative Ones.

Published in: Acta Informatica (1979)

Keyphrases

recursive functions
iterative refinement
knowledge base
multi agent
database
data sets
expert systems
sufficient conditions
equivalence class