Applications of Algorithmic Metatheorems to Space Complexity and Parallelism (Invited Talk).

Till Tantau

Browse the full STACS paper archive.