Old Web
English
Sign In
Acemap
>
Paper
>
An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition)
An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition)
2011
William I. Gasarch
Keywords:
Logic in computer science
Ramsey's theorem
Ramsey theory
Mathematics
Discrete mathematics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]