Towards a Theory of Recursive Structures

David Harel. Towards a Theory of Recursive Structures. In Maurice Margenstern, editor, International Colloquium Universal Machines and Computations, MCU 98, Metz, France, March 23-27, 1998, Proceedings, Volume I. pages 93-114, IUT Metz, 1998.

Abstract

Abstract is missing.