|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Descriptive set theory and Computation theory
If you have a question about this talk, please contact Jonathan Hayman.
We discuss relationships between Descriptive Set Theory and several branches of Computation Theory. After a short excursion to the history of DST we discuss its influence onto the branches of CT. We also present some relatively recent results demonstrating how problems of CT trigger extensions or variations of classical notions and results of DST .
This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsThe Garden of Eden / Kharsag as the Origin of Agriculture in Rashaya El-Wadi, Lebanon BP Lectures 2011 BHRU Annual Lecture 2015
Other talksNonabelian Poincare Duality An introduction to the Dr John Shakeshaft collection of British studio pottery Common germline genetic variation and risk of cancer Comparative aspects of canine cancer and therapy Filtration Flow in Poro-Visco-Elastic Media Many-Body Excitations in One-Dimensional Electron Systems (SP Workshop)