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:

    “The developments in the North were those loosely embraced in the term modernization and included urbanization, industrialization, and mechanization. While those changes went forward apace, the antebellum South changed comparatively little, clinging to its rural, agricultural, labor-intensive economy and its traditional folk culture.”
    —C. Vann Woodward (b. 1908)