Hierarchies of Weak Monadic Formulas for Two Successors Arithmetic.
Andrzej Wlodzimierz MostowskiPublished in: J. Inf. Process. Cybern. (1987)
Keyphrases
- quantifier free
- deductive databases
- datalog queries
- hierarchical structure
- floating point
- rewrite systems
- predicate calculus
- first order logic
- database
- mathematical formulas
- np complete
- transitive closure
- datalog programs
- logic programming
- arithmetic operations
- neural network
- quantifier elimination
- databases
- data sets