Maurice Margenstern. Frontier between decidability and undecidability: a survey. In Maurice Margenstern, editor, International Colloquium Universal Machines and Computations, MCU 98, Metz, France, March 23-27, 1998, Proceedings, Volume I. pages 141-177, IUT Metz, 1998.
No references recorded for this publication.
No citations of this publication recorded.