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:

    “We now demand the light artillery of the intellect; we need the curt, the condensed, the pointed, the readily diffused—in place of the verbose, the detailed, the voluminous, the inaccessible. On the other hand, the lightness of the artillery should not degenerate into pop-gunnery—by which term we may designate the character of the greater portion of the newspaper press—their sole legitimate object being the discussion of ephemeral matters in an ephemeral manner.”
    —Edgar Allan Poe (1809–1845)