Constructively nonpartial recursive functions.

Bruce M. Horowitz

Published in: Notre Dame J. Formal Log. (1980)

Keyphrases

recursive functions
inductive inference
support vector
pattern matching