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:
“Punks in their silly leather jackets are a cliché. I have never liked the term and have never discussed it. I just got on with it and got out of it when it became a competition.”
—John Lydon (formerly Johnny Rotten)
Related Phrases
Related Words