A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL.

Christian Urban Stefan Berghofer

Published in: IJCAR (2006)

Keyphrases

data types
theorem prover
natural deduction
theorem proving
data structure
database management systems
management system
higher order logic
user defined
higher order
neural network
data model
xml documents
expert systems
multiscale
learning algorithm
machine learning
real world