Pure Pointer Programs and Tree Isomorphism.

Martin Hofmann, Ramyaa Ramyaa, Ulrich Schpp

Browse the full FOSSACS paper archive.