Termination of rewriting in the Calculus of Constructions.
Daria Walukiewicz-ChrzaszczPublished in: J. Funct. Program. (2003)
Keyphrases
- type checking
- termination analysis
- presburger arithmetic
- term rewriting
- algebraic structure
- active rules
- database query languages
- active databases
- relational calculus
- rewrite systems
- theorem prover
- theorem proving
- rewrite rules
- term rewrite systems
- quantifier elimination
- automated deduction
- rewriting rules
- data types
- neural network
- query processor
- operational semantics
- complex objects
- queries using views
- constraint propagation
- rewriting systems
- database