Elimination of algorithmic quantifiers for ordered differential algebra.

Published in: Arch. Math. Log. (1999)

Keyphrases

query language
first order logic
data model
relational algebra
algebraic geometry
natural language
set theory
algebraic expressions
social networks
clustering algorithm
case study
expert systems
inference rules
boolean algebra
ordered sets
algebraic structures