Previous slide Next slide Back to the first slide View text version


Notes:

Immerman - NL by logical characterizations

Szelepcsényi - closure of context sensitive languages