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
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 (5)
- Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018
- 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
- Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009
- Preface for the special issue of Proof, Structure, and Computation 2014
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)
