Completeness and Decidability of de Bruijn Substitution Algebra in Coq.
Steven SchäferGert SmolkaTobias TebbiPublished in: CPP (2015)
Keyphrases
- description logics
- algebraic expressions
- query answering
- theorem prover
- graph structure
- data model
- query language
- data quality
- formal methods
- relational algebra
- boolean algebra
- algebraic structure
- real numbers
- relational model
- type checking
- formal specification
- real time
- data exchange
- artificial intelligence
- learning algorithm
- machine learning
- data sets