Gandy Machines (2000)

by Reserve “Background
Venue:In Proceedings of CSL'2000, eds. Peter Clote and Helmut Schwichtenberg. Vol. 1862 of LNCS