Computability of Bass-Serre structures in the Grzegorczyk hierarchy
A talk about the stuff I was looking at in my aborted PhD.
Christian Lawson-Perfect's homepage
A talk about the stuff I was looking at in my aborted PhD.