Dr. Chris Schulz

  1. Title:
    The theory of Presburger arithmetic with k-automatic and l-automatic predicates
    Speaker:
    Dr. Chris Schulz

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