|
The Turing Machine Test: module proof for equivalence
Date
November 15th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Computability
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 2: Induction for Naturals
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Thinking Inductively
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Options
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|