Peter Rossmanith

  1. Title:
    Efficient FO-Model Checking on Preferential Attachement Graphs
    Speaker:
    Peter Rossmanith

    Link:
    https://video-archive.fields.utoronto.ca/view/7668