Stem bpp$ (all stems)

3 papers:

ICALP-2007-KobayashiS #behaviour #calculus #type system

Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π -Calculus (NK, TS), pp. 740–751.

STOC-1997-ImpagliazzoW #exponential

P = BPP if E Requires Exponential Circuits: Derandomizing the XOR Lemma (RI, AW), pp. 220–229.

ICALP-1996-AndreevCR #set

Hitting Sets Derandomize BPP (AEA, AEFC, JDPR), pp. 357–368.