Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting.
Frédéric BlanquiGuillaume GenestierOlivier HermantPublished in: FSCD (2019)
Keyphrases
- type checking
- term rewrite systems
- presburger arithmetic
- theoretical basis
- theoretical framework
- rewrite rules
- pairwise
- learning algorithm
- neural network
- data model
- special case
- description logics
- data sets
- theoretical foundation
- information theory
- database systems
- general theory
- case study
- knowledge base
- dependency relations