| dc.date.accessioned | 2019-10-24T14:26:04Z | |
| dc.date.available | 2019-10-24T14:26:04Z | |
| dc.date.issued | 2012 | |
| dc.identifier.uri | http://publications.mfo.de/handle/mfo/3279 | |
| dc.description.abstract | Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong connections with other areas of mathematical logic as well as algebra and theoretical computer science. | |
| dc.title | Computability Theory | |
| dc.rights.license | Dieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden. | de |
| dc.rights.license | This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties. | en |
| dc.identifier.doi | 10.14760/OWR-2012-8 | |
| local.series.id | OWR-2012-8 | |
| local.subject.msc | 03 | |
| local.subject.msc | 68 | |
| local.sortindex | 719 | |
| local.date-range | 05 Feb - 11 Feb 2012 | |
| local.workshopcode | 1206 | |
| local.workshoptitle | Computability Theory | |
| local.organizers | Klaus Ambos-Spies, Heidelberg; Rodney G. Downey, Wellington; Steffen Lempp, Madison; Wolfgang Merkle, Heidelberg | |
| local.report-name | Workshop Report 2012,8 | |
| local.opc-photo-id | 1206 | |
| local.publishers-doi | 10.4171/OWR/2012/08 | |
| local.ems-reference | Ambos-Spies Klaus, Downey Rodney, Lempp Steffen, Merkle Wolfgang: Computability Theory. Oberwolfach Rep. 9 (2012), 397-455. doi: 10.4171/OWR/2012/08 | |
