Talk page

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

Workshop:
Fields- 2023-2024 Geometry and Model Theory Seminar