Defining Recursive Functions in HOL.

W. Ploegaerts Luc J. M. Claesen Hugo De Man

Published in: TPHOLs (1991)

Keyphrases

recursive functions
inductive inference
theorem prover
formal methods
higher order logic
theorem proving
artificial intelligence
active learning
logic programs