Truly Modular (Co)datatypes for Isabelle/HOL.
Jasmin Christian BlanchetteJohannes HölzlAndreas LochbihlerLorenz PannyAndrei PopescuDmitriy TraytelPublished in: ITP (2014)
Keyphrases
- data types
- theorem prover
- natural deduction
- data model
- theorem proving
- database management systems
- inference rules
- first order logic
- user defined
- database systems
- higher order logic
- data structure
- modular structure
- data mining algorithms
- cut elimination
- formal methods
- artificial intelligence
- data mining
- modular neural networks
- preprocessing
- information systems
- genetic algorithm
- machine learning