Deciding the Inequivalence of Context-Free Grammars with 1-Letter Terminal Alphabet is Sigma_2^P-Complete

Thiet-Dung Huynh

Browse the full FOCS paper archive.