Decidability of Term Algebras
Term algebras can be shown decidable using quantifier elimination. The complexity of the decision problem is in NONELEMENTARY.
Read more about this topic: Term Algebra
Famous quotes containing the word term:
“A radical is one of whom people say He goes too far. A conservative, on the other hand, is one who doesnt go far enough. Then there is the reactionary, one who doesnt go at all. All these terms are more or less objectionable, wherefore we have coined the term progressive. I should say that a progressive is one who insists upon recognizing new facts as they present themselvesone who adjusts legislation to these new facts.”
—Woodrow Wilson (18561924)
Related Phrases
Related Words