Volume 51, Issue 1

July 2012

Computability in Europe: Mathematical Theory and Computational Practice

Issue Editors:

7 articles in this issue

Computability in Europe 2009
Arnold Beckmann
Wolfgang Merkle
Benedikt Löwe
EditorialNotes Open access 24 November 2011 Pages: 1 - 3
Minimum Entropy Combinatorial Optimization Problems
Jean Cardinal
Samuel Fiorini
Gwenaël Joret
OriginalPaper 23 November 2011 Pages: 4 - 21
Program Self-Reference in Constructive Scott Subdomains
John Case
Samuel E. Moelius III
OriginalPaper 07 December 2011 Pages: 22 - 49
Cutting Planes and the Parameter Cutwidth
Stefan Dantchev
Barnaby Martin
OriginalPaper 06 December 2011 Pages: 50 - 64
Representation Theorems for Analytic Machines and Computability of Analytic Functions
Tobias Gärtner
Günter Hotz
OriginalPaper 30 November 2011 Pages: 65 - 84
Non-determinism in Gödel’s System T
Lars Kristiansen
Bedeho Mesghina Wolde Mender
OriginalPaper 24 November 2011 Pages: 85 - 105
Comparing Nontriviality for E and EXP
Klaus Ambos-Spies
Timur Bakibayev
OriginalPaper 02 December 2011 Pages: 106 - 122

Search