On Partial Recursive Definitions and Programs.

Hans-Jürgen Hoehnke

Published in: FCT (1977)

Keyphrases

recursive functions
recursive programs
neural network
logic programs
databases
computer programs
program synthesis
search algorithm
programming environment
partial information
precise definition