Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013

DOI10.1017/S0960129516000086zbMATH Open1376.00047OpenAlexW2413912701MaRDI QIDQ4593232FDOQ4593232

Authors:

Publication date: 22 November 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129516000086

Recommendations

• Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2014
• Preface to the special issue: Computing with infinite data: topological and logical foundations
• Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018
• Preface for the special issue of Proof, Structure, and Computation 2014
• Preface

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited In (2)

• Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018
• Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009

This page was built for publication: Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593232)