Stem inexpress$ (all stems)

3 papers:

POPL-2007-CalcagnoGZ #logic #parametricity

Context logic as modal logic: completeness and parametric inexpressivity (CC, PG, UZ), pp. 123–134.

DLT-2005-Straubing #regular expression

Inexpressibility Results for Regular Languages in Nonregular Settings (HS), pp. 69–77.

LICS-1988-Vorobyov #on the #term rewriting

On the Arithmetic Inexpressiveness of Term Rewriting Systems (SGV), pp. 212–217.