Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,434,860 papers from all fields of science
Search
Sign In
Create Free Account
Halting problem
Known as:
Determining whether a program is going to run forever
, Halting predicate
, The halting problem
Expand
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Advice (complexity)
Arithmetical set
Chaitin's constant
Code coverage
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
IMPACT OF SELFISH NODE CONCENTRATION IN MANET S
Shailender Gupta
,
C. K. Nagpal
,
Charu Singla
2011
Corpus ID: 18627725
The communication in Mobile Ad hoc Network (MANET) is multi-hop in nature wherein each node relays data packets of other nodes…
Expand
2008
2008
NGO policy change in relation to donor discourse
K. Johansson
,
J. Nylund
2008
Corpus ID: 126874466
The Vi Tree Planting Foundation in Sweden, generally known as Vi Skogen (ViS), is a well-documented case of an NGO that started…
Expand
Review
2008
Review
2008
European species and habitat monitoring: where are we now?
D. Schmeller
Biodiversity and Conservation
2008
Corpus ID: 24141065
Biodiversity now is considered a highly valuable material, providing manifold services of high importance for the well-being of…
Expand
Highly Cited
2004
Highly Cited
2004
Controlled Growth of Y-Junction Nanotubes Using Ti-Doped Vapor Catalyst
N. Gothard
,
C. Daraio
,
J. Gaillard
,
R. Zidan
,
S. Jin
,
A. Rao
2004
Corpus ID: 30232676
We demonstrate a bulk process for the synthesis of Y-junction carbon nanotubes using Ti-doped Fe catalysts. It is shown that the…
Expand
Review
2004
Review
2004
Response by trout populations in alpine lakes to an experimental halt to stocking
Trip W Armstrong
,
R. Knapp
2004
Corpus ID: 51757197
Trout are often stocked into alpine lakes based on the generally untested assumption that resident populations would go extinct…
Expand
2003
2003
From Mexico to Brazil : Central Atlantic fisheries catch trends and ecosystem models
D. Zeller
,
S. Booth
,
Elizabeth Mohammed
,
D. Pauly
2003
Corpus ID: 130053751
Global fisheries are in a crisis, and so are the marine ecosystems upon which these fisheries depend. Major policy and management…
Expand
2000
2000
"Ich will halt anders sein wie die anderen!" : Abgrenzung, Gewalt und Kreativität bei Gruppen Jugendlicher
R. Eckert
,
Christa Reis
,
Thomas A. Wetzstein
,
Peter Bangert
,
Linda Steinmetz
2000
Corpus ID: 264238075
1996
1996
Genetically optimizing the speed of programs evolved to play tetris
Eric V. Siegel
,
A. D. Chaffee
1996
Corpus ID: 17960106
Many new domains for genetic programming require evolved programs to be executed for longer amounts of time. For these…
Expand
1995
1995
PRIVATISATION AND THE RDP A CRITICAL ASSESSMENT
B. Fine
1995
Corpus ID: 153639935
Recent proposals, particularly those emanating from Thabo Mbeki, to privatise state corporations in order to finance the…
Expand
1992
1992
Solving Systems of Set Constraints (Extended Abstract)
A. Aiken
,
E. Wimmers
Logic in Computer Science
1992
Corpus ID: 203668850
Systeins of set consiraznts are a natural formalzsnr for many problems an program analysas. Se2 consiraiiris arc also a…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE