Ianov Schemas Augmented by a Pushdown Memory

Nobuki Tokura, Tadao Kasami, Shukichi Furuta

Browse the full FOCS paper archive.