log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
An Application of Ramsey's Theorem to Proving Programs Terminate: An Exposition
William Gasarch - University of Maryland, College Park
4185 A.V. Williams Building (AVW)
Friday, February 24, 2012, 3:30-4:30 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

Draft available at  http://www.cs.umd.edu/~gasarch/mathnotes/ramseypl.pdf

This talk is organized by Jinseong Jeon