MonadicNLIN and Quantifier-Free Reductions.
Clemens LautemannBernhard WeinzingerPublished in: CSL (1999)
Keyphrases
- quantifier free
- quantifier elimination
- first order logic
- rewrite systems
- real numbers
- relational data model
- constraint propagation
- functional programming
- constraint databases
- term rewriting
- expressive power
- inference rules
- data model
- cardinality constraints
- boolean formula
- relational algebra
- knowledge representation
- theorem proving
- operational semantics