A New Decidable Problem, with Applications (Extended Abstract)

Harry R. Lewis. A New Decidable Problem, with Applications (Extended Abstract). In 18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA. pages 62-73, IEEE, 1977.

Abstract

Abstract is missing.