Works matching IS 14324350 AND DT 2009 AND VI 45 AND IP 4
Results: 19
Between Order and Chaos: The Quest for Meaningful Information.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 650, doi. 10.1007/s00224-009-9173-y
- By:
- Publication type:
- Article
Depth as Randomness Deficiency.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 724, doi. 10.1007/s00224-009-9171-0
- By:
- Publication type:
- Article
Circuit Complexity of Regular Languages.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 865, doi. 10.1007/s00224-009-9180-z
- By:
- Publication type:
- Article
Nash Stability in Additively Separable Hedonic Games and Community Structures.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 917, doi. 10.1007/s00224-009-9176-8
- By:
- Publication type:
- Article
On the Universal Computing Power of Amorphous Computing Systems.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 995, doi. 10.1007/s00224-009-9178-6
- By:
- Publication type:
- Article
Constructive Dimension and Turing Degrees.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 740, doi. 10.1007/s00224-009-9170-1
- By:
- Publication type:
- Article
Theory of Computing Systems (TOCS) Submission Version Finding Most Likely Solutions.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 926, doi. 10.1007/s00224-009-9179-5
- By:
- Publication type:
- Article
Input-Dependence in Function-Learning.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 849, doi. 10.1007/s00224-009-9174-x
- By:
- Publication type:
- Article
Speed-Up Theorems in Type-2 Computations Using Oracle Turing Machines.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 880, doi. 10.1007/s00224-009-9182-x
- By:
- Publication type:
- Article
The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 822, doi. 10.1007/s00224-009-9167-9
- By:
- Publication type:
- Article
Characterizing Programming Systems Allowing Program Self-Reference.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 756, doi. 10.1007/s00224-009-9168-8
- By:
- Publication type:
- Article
Enumerations and Completely Decomposable Torsion-Free Abelian Groups.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 897, doi. 10.1007/s00224-009-9175-9
- By:
- Publication type:
- Article
The λ-Calculus and the Unity of Structural Proof Theory.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 963, doi. 10.1007/s00224-009-9183-9
- By:
- Publication type:
- Article
Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 773, doi. 10.1007/s00224-009-9169-7
- By:
- Publication type:
- Article
Two Algorithms in Search of a Type-System.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 787, doi. 10.1007/s00224-009-9181-y
- By:
- Publication type:
- Article
Planar and Grid Graph Reachability Problems.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 675, doi. 10.1007/s00224-009-9172-z
- By:
- Publication type:
- Article
Finding Most Likely Solutions.
- Published in:
- 2009
- By:
- Publication type:
- Correction Notice
Computation and Logic in the Real World: CiE 2007.
- Published in:
- 2009
- By:
- Publication type:
- Editorial
Comparing Notions of Computational Entropy.
- Published in:
- Theory of Computing Systems, 2009, v. 45, n. 4, p. 944, doi. 10.1007/s00224-009-9177-7
- By:
- Publication type:
- Article