Work

Programs, Proofs, Processes

Year: 2012

Type: editorial

Abstract: The seven 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.

Source: Theory of Computing Systems

DOI: 10.1007/s00224-012-9398-z

Authors: Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo

Institutions: University of Lisbon, Universität Hamburg, University of Amsterdam, Universidad de Zaragoza, Instituto de Investigación en Ingeniería de Aragón

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,190

OpenAlex ID: W2004965270

Cites:

Cited by: 1

Related to: 10