Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009
zbMATH Open1282.03005MaRDI QIDQ418690FDOQ418690
Authors:
Publication date: 30 May 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Recommendations
- Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013
- Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2014
- Special issue: Selected papers based on the presentations at the logic colloquium 2009, Sofia, Bulgaria, July 31 -- August 5, 2009, and the workshop on computability theory 2009
- scientific article; zbMATH DE number 5880307
- Special issue: Computability in Europe 2008. Selected papers based on the presentations at the 4th conference, CiE 2008, `Logic and theory of algorithms', Athens, Greece, June 15--20, 2008
- scientific article; zbMATH DE number 5200708
- Special issue: Computability in Europe. Selected papers based on the presentations at the conference CiE 2008, logic and theory of algorithms, Athens, Greece, June 2008
- scientific article; zbMATH DE number 6194296
- Special issue: Classical logic and computation. Selected papers based on the presentations at the workshop, Reykjavik, Iceland, July, 13, 2008
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)
Cited In (5)
- Special issue: Computability in Europe: Mathematical theory and computational practice. Selected papers based on the presentations at the conference CiE 2009, Heidelberg, Germany, July 19--24, 2009
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007
- Title not available (Why is that?)
- Title not available (Why is that?)
- Special issue: Selected papers based on the presentations at the workshop on categorial logic and the conference Unilog 2010, Lisbon, Portugal, June, 2010
This page was built for publication: Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418690)
