Computability in Europe 2010

Carbone, Alessandra ; Ferreira, Fernando ; Löwe, Benedikt ; Mayordomo, Elvira (Universidad de Zaragoza)

Resumen: The 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.

Idioma: Inglés

DOI: 10.1093/logcom/exs075

Año: 2015

Publicado en: JOURNAL OF LOGIC AND COMPUTATION 25, 4 (2015), 983-985
ISSN: 0955-792X

Factor impacto JCR: 0.585 (2015)

Categ. JCR: LOGIC rank: 8 / 22 = 0.364 (2015) - Q2 - T2
Categ. JCR: COMPUTER SCIENCE, THEORY & METHODS rank: 86 / 105 = 0.819 (2015) - Q4 - T3

Factor impacto SCIMAGO: 0.382 - Hardware and Architecture (Q2) - Arts and Humanities (miscellaneous) (Q2) - Software (Q3) - Theoretical Computer Science (Q3) - Logic (Q3)

Tipo y forma: Artículo (Versión definitiva)

Área (Departamento): Área Lenguajes y Sistemas Inf. (Dpto. Informát.Ingenie.Sistms.)