000131272 001__ 131272 000131272 005__ 20240207154753.0 000131272 0247_ $$2doi$$a10.1093/logcom/exs075 000131272 0248_ $$2sideral$$a107635 000131272 037__ $$aART-2015-107635 000131272 041__ $$aeng 000131272 100__ $$aCarbone, Alessandra 000131272 245__ $$aComputability in Europe 2010 000131272 260__ $$c2015 000131272 5060_ $$aAccess copy available to the general public$$fUnrestricted 000131272 5203_ $$aThe papers in this special issue constitute a post-conference publication of the meeting CiE 2010: Programs, Proofs, Processes, held at Universidade dos Açores, Ponta Delgada, Portugal, between June 30 and July 4, 2010. CiE 2010 was the sixth in the series of conferences organized by the Association for Computability in Europe. The main aim of the association is to promote the development, particularly in Europe, of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology. Its aims include the promotion of the study of philosophy and history of computing as it relates to questions of computability. 000131272 540__ $$9info:eu-repo/semantics/openAccess$$aby$$uhttp://creativecommons.org/licenses/by/3.0/es/ 000131272 590__ $$a0.585$$b2015 000131272 591__ $$aLOGIC$$b8 / 22 = 0.364$$c2015$$dQ2$$eT2 000131272 591__ $$aCOMPUTER SCIENCE, THEORY & METHODS$$b86 / 105 = 0.819$$c2015$$dQ4$$eT3 000131272 592__ $$a0.382$$b2015 000131272 593__ $$aHardware and Architecture$$c2015$$dQ2 000131272 593__ $$aArts and Humanities (miscellaneous)$$c2015$$dQ2 000131272 593__ $$aSoftware$$c2015$$dQ3 000131272 593__ $$aTheoretical Computer Science$$c2015$$dQ3 000131272 593__ $$aLogic$$c2015$$dQ3 000131272 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/publishedVersion 000131272 700__ $$aFerreira, Fernando 000131272 700__ $$aLöwe, Benedikt 000131272 700__ $$0(orcid)0000-0002-9109-5337$$aMayordomo, Elvira$$uUniversidad de Zaragoza 000131272 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Lenguajes y Sistemas Inf. 000131272 773__ $$g25, 4 (2015), 983-985$$pJ. log. comput.$$tJOURNAL OF LOGIC AND COMPUTATION$$x0955-792X 000131272 8564_ $$s117052$$uhttps://zaguan.unizar.es/record/131272/files/texto_completo.pdf$$yVersión publicada 000131272 8564_ $$s1762325$$uhttps://zaguan.unizar.es/record/131272/files/texto_completo.jpg?subformat=icon$$xicon$$yVersión publicada 000131272 909CO $$ooai:zaguan.unizar.es:131272$$particulos$$pdriver 000131272 951__ $$a2024-02-07-14:36:30 000131272 980__ $$aARTICLE