Skip to main content

Theory of Computing Systems

Ausgabe 1/2012

Computability in Europe: Mathematical Theory and Computational Practice

Inhalt (7 Artikel)

Open Access

Computability in Europe 2009

Arnold Beckmann, Wolfgang Merkle, Benedikt Löwe

Minimum Entropy Combinatorial Optimization Problems

Jean Cardinal, Samuel Fiorini, Gwenaël Joret

Cutting Planes and the Parameter Cutwidth

Stefan Dantchev, Barnaby Martin

Non-determinism in Gödel’s System T

Lars Kristiansen, Bedeho Mesghina Wolde Mender

Comparing Nontriviality for E and EXP

Klaus Ambos-Spies, Timur Bakibayev