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 requestit 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 (18201906)
Related Phrases
Related Words