Programs, proofs, processes
Subtitle: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings
By: Fernando Ferreira ... [et al.] (eds.).
Contributors: Ferreira, Fernando, 1958-
Series: Lecture notes in computer science -- 6158; LNCS sublibrary. SL 1, Theoretical computer science and general issues; Lecture notes in computer science -- 6158.; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 450
ISBN-13: 9783642139611
Subjects: Computational complexity; Berechenbarkeit; Computer science; Mathematische Logik; Congresses; Computable functions; Beweistheorie; Mathematics; Theoretische Informatik; Prozessalgebra; Berechnungskomplexität
Other titles: CiE 2010
Notes: International conference proceedings.

Includes bibliographical references and index.