Stem upward$ (all stems)

6 papers:

ITiCSE-2011-VihavainenPLK #scalability

Extreme apprenticeship method: key practices and upward scalability (AV, MP, ML, JK), pp. 273–277.

POPL-2009-MorihataMHT #divide and conquer #morphism #theorem

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer (AM, KM, ZH, MT), pp. 177–185.

CSL-2006-Chatterjee06a #equilibrium #nash

Nash Equilibrium for Upward-Closed Objectives (KC), pp. 271–286.

TACAS-2000-DelzannoR #representation #set

Symbolic Representation of Upward-Closed Sets (GD, JFR), pp. 426–440.

ICALP-1989-Allender

Limitations of the Upward Separation Technique (Preliminary Version) (EA), pp. 18–30.

STOC-1977-SimonG #polynomial

Polynomial Reducibilities and Upward Diagonalizations (IS, JG), pp. 186–194.