Login / Signup

Partial and Nested Recursive Function Definitions in Higher-order Logic.

Alexander Krauss
Published in: J. Autom. Reason. (2010)
Keyphrases
  • higher order logic
  • higher order
  • theorem prover
  • recursive functions
  • logical framework
  • conditional logic
  • feature selection