BusinessInformation SystemsCopyright InfringementDecision Support SystemsKnowledge CaptureCitation PracticesTermination AnalysisHalting Problem
article The halting problem Share on Author: L Burkholder CDEC, Carnegie Mellon University, Pittsburgh PA CDEC, Carnegie Mellon University, Pittsburgh PAView Profile Authors Info & Claims ACM SIGACT NewsVolume 18Issue 3April 1987 pp 48–60https://doi.org/10.1145/24658.24665Online:01 April 1987Publication History 4citation619DownloadsMetricsTotal Citations4Total Downloads619Last 12 Months121Last 6 weeks29 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
3
Computation: Finite and Infinite Machines.
D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations
The Principles of Mathematics.
E. N., Bertrand Russell · The Journal of Philosophy · 1938 · 1.9K citations
Humanities, Mathematics, Philosophy +10
Introduction to computer science
Computer Languages · 1975 · 59 citations