Background, Reserve, and Gandy Machines

Citation:	Andreas Blass and Yuri Gurevich, "Background, Reserve, and Gandy Machines". In P.G. Clote and H. Schwichtenberg, eds., Computer Science Logic, Proceedings of CSL 2000, Springer LNCS 1862, 1--17.
Summary:	An investigation into the notion of the reserve set of an ASM, exploring the ideas of adding structure within the reserve and the non-determinism of importing new elements.
Subjects:	Logic & Computability
Download:	Available from Yuri Gurevich's web pages as article 143.
Notes:

[an error occurred while processing this directive]

Abstract State Machines