STOC 2021 - Knuth Prize talk: Logic and Computation – A Match Made in Heaven

Uploader: SIGACT EC

Original upload date: Wed, 14 Jul 2021 00:00:00 GMT

Archive date: Sat, 04 Dec 2021 04:30:34 GMT