Videos

Finding killer words

Presenter
October 25, 2013
ICERM
Keywords:
  • Killer words
  • Proof trees
MSC:
  • 74Pxx
Play Video
Abstract
Abstract available at the link below.
Abstract