Recent and upcoming talks by Danny Nguyen

Danny Nguyen: Presburger Arithmetic and its computational complexity

Thursday, November 2, 2017, from 4 to 5:30pm East Hall, room 3096 Speaker: Danny Nguyen (University of California, Los Angeles) Title: Presburger Arithmetic and its computational complexity Abstract: Presburger Arithmetic (PA) is a classical topic in logic, with numerous connections to computer science and combinatorics. continue reading…