Pointer Programs and Undirected Reachability

Ulrich Schöpp, Martin Hofmann. Pointer Programs and Undirected Reachability. Electronic Colloquium on Computational Complexity (ECCC), 15(090), 2008. [doi]

Abstract

Abstract is missing.