Computability theory. Abstracts from the workshop held February 5--11, 2012.

DOI10.4171/OWR/2012/08MaRDI QIDQ343320zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

Cites work

• ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS
• Generic computability, Turing degrees, and asymptotic density
• Generic-case complexity, decision problems in group theory, and random walks.

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
• scientific article; zbMATH DE number 6777704 (Why is no real title available?)
• 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)