Event Detail
|
Fri Sep 14, 2018 4:10–5:15 PM |
Logic Colloquium Thomas Scanlon (UC Berkeley) Elimination and consistency checking for difference equations (even though the theory is undecidable!) |
|
Fri Sep 14, 2018 4:10–5:15 PM |
Logic Colloquium Thomas Scanlon (UC Berkeley) Elimination and consistency checking for difference equations (even though the theory is undecidable!) |