Volume 45; Issue 4

Theory of Computing Systems

Volume 45; Issue 4
1

Computation and Logic in the Real World: CiE 2007

S. Barry Cooper, Elvira Mayordomo, Andrea Sorbi
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 144 KB
english, 2009
3

Characterizing Programming Systems Allowing Program Self-Reference

John Case, Samuel E. Moelius
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 419 KB
english, 2009
4

Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems

John Case
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 350 KB
english, 2009
5

Constructive Dimension and Turing Degrees

Laurent Bienvenu, David Doty, Frank Stephan
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 370 KB
english, 2009
6

Depth as Randomness Deficiency

Luís Antunes, Armando Matos, André Souto, Paul Vitányi
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 329 KB
english, 2009
8

Between Order and Chaos: The Quest for Meaningful Information

Pieter Adriaans
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 528 KB
english, 2009
9

Input-Dependence in Function-Learning

Sanjay Jain, Eric Martin, Frank Stephan
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 362 KB
english, 2009
10

Enumerations and Completely Decomposable Torsion-Free Abelian Groups

Alexander G. Melnikov
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 370 KB
english, 2009
11

Nash Stability in Additively Separable Hedonic Games and Community Structures

Martin Olsen
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 271 KB
english, 2009
12

Comparing Notions of Computational Entropy

Alexandre Pinto
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 402 KB
english, 2009
13

On the Universal Computing Power of Amorphous Computing Systems

Jiří Wiedermann, Lukáš Petrů
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 344 KB
english, 2009
14

Circuit Complexity of Regular Languages

Michal Koucký
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 316 KB
english, 2009
15

Two Algorithms in Search of a Type-System

Norman Danner, James S. Royer
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 835 KB
english, 2009
16

Speed-Up Theorems in Type-2 Computations Using Oracle Turing Machines

Chung-Chih Li
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 379 KB
english, 2009
17

Theλ-Calculus and the Unity of Structural Proof Theory

José Espírito Santo
Journal:
Theory of Computing Systems
Year:
2009
Language:
english
File:
PDF, 594 KB
english, 2009
18

Finding Most Likely Solutions

Mikael Onsjö, Osamu Watanabe
Journal:
Theory of Computing Systems
Year:
2009
File:
PDF, 101 KB
2009