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

No author found.

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)

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