Proof theory of higher-order equations: conservativity, normal forms and term rewriting.
Karl MeinkePublished in: J. Comput. Syst. Sci. (2003)
Keyphrases
- normal form
- term rewriting
- proof theory
- higher order
- automated reasoning
- theorem prover
- theorem proving
- default reasoning
- database design
- functional dependencies
- database theory
- operational semantics
- relational databases
- decision procedures
- reasoning problems
- inference rules
- nonmonotonic reasoning
- machine learning
- probability distribution
- artificial intelligence