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:
- Publication type:
- Article
Computability in Europe 2009.
- Published in:
- 2012
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article