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
zbMATH Open1250.03006MaRDI QIDQ765643FDOQ765643
Author name not available (Why is that?)
Publication date: 21 March 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
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 (3)
- Special issue: The 22nd Nordic workshop on programming theory (NWPT 2010). Papers based on the presentations at the workshop, Turku, Finland, November 10--12, 2010
- Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30--July 4, 2010. Proceedings
- 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
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q765643)
