Primitive Positive Formulas Preventing a Finite Basis of Quasi-Equations.

David Casperson Jennifer Hyndman

Published in: Int. J. Algebra Comput. (2009)

Keyphrases

starting point
positive and negative
artificial intelligence
high level
real numbers
databases
higher level
mathematical model
differential equations
linear equations