Computability theory. Abstracts from the workshop held February 5--11, 2012.
DOI10.4171/OWR/2012/08zbMATH Open1349.00035OpenAlexW4248622102MaRDI QIDQ343320FDOQ343320
Authors:
Publication date: 27 November 2016
Published in: Oberwolfach Reports (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4171/owr/2012/08
Recommendations
- Computability theory. Abstracts from the workshop held January 7--13, 2018
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
- Computability theory and foundations of mathematics. Proceedings of the 9th international conference, Wuhan, China, March 21--27, 2019
- scientific article; zbMATH DE number 1955470
- The incomputable
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Collections of abstracts of lectures (00B05) Computability and recursion theory (03Dxx)
Cites Work
Cited In (8)
- The incomputable
- Feferman on computability
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
- Proof complexity and beyond. Abstracts from the workshop held August 13--19, 2017
- Computability theory and foundations of mathematics. Proceedings of the 9th international conference, Wuhan, China, March 21--27, 2019
- Title not available (Why is that?)
- Computability theory. Abstracts from the workshop held January 7--13, 2018
- Conference on computability theory. Proceedings of the conference, Oberwolfach, Germany, January 27--February 3, 1996
This page was built for publication: Computability theory. Abstracts from the workshop held February 5--11, 2012.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q343320)
