May  4, 2016

The complexity of evaluating first-order sentences over a fixed structure
Andrei Krokhin
Durham University

This web presentation contains the audio of a lecture given at the Fields Institute on June 24, 2011 as part of the 26th Annual IEEE Symposium on Logic in Computer Science.

Listen to audio presentation:

  • Directly in browser (supported in recent versions of Mozilla Firefox, Google Chrome, and others, but not yet in Microsoft Internet Explorer):

    Indirectly in browser, using the cortado java-based player:
    Java is not configured on your browser.
  • In an external player: