Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering.
Stefan BerghoferMarkus WenzelPublished in: TPHOLs (1999)
Keyphrases
- lessons learned
- formal logic
- data types
- formal methods
- predicate logic
- future directions
- software engineering
- case study
- artificial intelligence
- data structure
- computer science
- data model
- engineering design
- database systems
- theorem prover
- description logics
- database management systems
- participatory design
- design science
- logic programming
- theorem proving
- machine learning
- database
- knowledge based systems
- information extraction