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
zbMATH Open1256.68004MaRDI QIDQ443844
Author name not available (Why is that?)
Publication date: 13 August 2012
Published in: Theory of Computing Systems (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Constructive and recursive analysis (03F60) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Computation over the reals, computable analysis (03D78)
Related Items (1)
Recommendations
- Title not available (Why is that?) 👍 👎
- Special issue: Selected papers based on the presentations at the workshop `Continuity, computability, constructivity: from logic to algorithms', Cologne, Germany, July 2009 👍 👎
- 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 👍 👎
- Special issue: Computability in Europe 2009. Selected papers based on the presentations at the 5th conference on computability in Europe, CiE 2009: Mathematical theory and computational practice, Heidelberg, Germany, July 19--24, 2009. 👍 👎
- Special issue: Computability in Europe 2010. Selected papers based on the presentations at the 6th CiE meeting on programs, proofs, processes, Ponta Delgada, Portugal, June 30 -- July 4, 2010 👍 👎
- Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19--24, 2009. Proceedings 👍 👎
- Special issue: Computability and complexity in analysis. Papers of a seminar, German Computer Science Center at Castle Dagstuhl, Germany, November 1999 👍 👎
- Special issue: Computability in Europe 2011. Selected papers based on the presentations at the 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 -- July 2, 2011. 👍 👎
- Special issue: Selected papers based on the presentations at the 2nd conference on computability in Europe (CiE), Swansea, Wales, UK, June 30 -- July 5, 2006 👍 👎
- 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 👍 👎
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q443844)
