Term Algebra - Decidability of Term Algebras

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:

    “Mr. Roosevelt, this is my principal request—it is almost the last request I shall ever make of anybody. Before you leave the presidential chair, recommend Congress to submit to the Legislatures a Constitutional Amendment which will enfranchise women, and thus take your place in history with Lincoln, the great emancipator. I beg of you not to close your term of office without doing this.”
    —Susan B. Anthony (1820–1906)