Eion Blanchard

  1. Title:
    Decidability bounds for Presburger arithmetic extended by sine
    Speaker:
    Eion Blanchard

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