Works matching IS 14324350 AND DT 2012 AND VI 51 AND IP 1

Results: 7

Non-determinism in Gödel's System T.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 1, p. 85, doi. 10.1007/s00224-011-9377-9

By:

Kristiansen, Lars;
Mender, Bedeho

Publication type:

Article

Minimum Entropy Combinatorial Optimization Problems.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 1, p. 4, doi. 10.1007/s00224-011-9371-2

By:

Cardinal, Jean;
Fiorini, Samuel;
Joret, Gwenaël

Publication type:

Article

Computability in Europe 2009.

Published in:

2012

By:

Beckmann, Arnold;
Merkle, Wolfgang;
Löwe, Benedikt

Publication type:

Editorial

Representation Theorems for Analytic Machines and Computability of Analytic Functions.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 1, p. 65, doi. 10.1007/s00224-011-9374-z

By:

Gärtner, Tobias;
Hotz, Günter

Publication type:

Article

Comparing Nontriviality for E and EXP.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 1, p. 106, doi. 10.1007/s00224-011-9370-3

By:

Ambos-Spies, Klaus;
Bakibayev, Timur

Publication type:

Article

Cutting Planes and the Parameter Cutwidth.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 1, p. 50, doi. 10.1007/s00224-011-9373-0

By:

Dantchev, Stefan;
Martin, Barnaby

Publication type:

Article

Program Self-Reference in Constructive Scott Subdomains.

Published in:

Theory of Computing Systems, 2012, v. 51, n. 1, p. 22, doi. 10.1007/s00224-011-9372-1

By:

Case, John;
Moelius, Samuel

Publication type:

Article