Life Story

• 
  Solomon Marcus: The Art of Reaching the Age of Sixty. 1-19
• 
  Hermann A. Maurer: Calude as Father of One of the Computer Science Journals. 20-30

Complexity, Computability and Randomness

• 
  Laurent Bienvenu, Alexander Shen: Random Semicomputable Reals Revisited. 31-45
• 
  Douglas S. Bridges, Luminita Vîta: Constructing the Infimum of Two Projections. 46-58
• 
  Paul Brodhead, Rod Downey, Keng Meng Ng: Bounded Randomness. 59-70
• 
  Cezar Câmpeanu: A Note on Blum Static Complexity Measures. 71-80
• 
  Michael J. Dinneen: A Program-Size Complexity Measure for Mathematical Problems and Conjectures. 81-93
• 
  Monica Dumitrescu: On Degrees of Randomness and Genetic Randomness. 94-104
• 
  Rusins Freivalds: Hartmanis-Stearns Conjecture on Real Time and Transcendence. 105-119
• 
  Ziyuan Gao, Frank Stephan, Guohua Wu, Akihiro Yamamoto: Learning Families of Closed Sets in Matroids. 120-139
• 
  Helmut Jürgensen: Invariance and Universality of Complexity. 140-158
• 
  Antonín Kucera, André Nies: Demuth's Path to Randomness. 159-173
• 
  Yuri I. Manin: A Computability Challenge: Asymptotic Bounds for Error-Correcting Codes. 174-182
• 
  Jacques Patarin: Some Transfinite Generalisations of Gödel's Incompleteness Theorem. 183-193
• 
  Ludwig Staiger: On Oscillation-Free Chaitin h-Random Sequences. 194-202
• 
  Kohtaro Tadaki: Phase Transition between Unidirectionality and Bidirectionality. 203-223
• 
  Hector Zenil: Computer Runtimes and the Length of Proofs - With an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving. 224-240
• 
  Marius Zimand: Symmetry of Information: A Closer Look. 241-246

Physics, Philosophy and Computation

• 
  Gregory J. Chaitin: How Much Information Can There Be in a Real Number? 247-251
• 
  S. Barry Cooper: Mathematics, Metaphysics and the Multiverse. 252-267
• 
  V. Kruglov, K. A. Makarov, B. Pavlov, A. Yafyasov: Exponential Decay in Quantum Mechanics. 268-288
• 
  Giuseppe Longo, Maël Montévil: Randomness Increases Order in Biological Evolution. 289-308
• 
  Karl Svozil: Haunted Quantum Contextuality versus Value Indefiniteness. 309-314
• 
  Stephen Wolfram: Is the Universe Like π or Ω? 315-319

Algorithms, Automata and Formal Models

• 
  Md. Ashraful Alam, Igor Rivin, Ileana Streinu: Outerplanar Graphs and Delaunay Triangulations. 320-329
• 
  Robert Brijder, Andrzej Ehrenfeucht, Grzegorz Rozenberg: Representing Reaction Systems by Trees. 330-342
• 
  Haiming Chen, Sheng Yu: Derivatives of Regular Expressions and an Application. 343-356
• 
  Lila Kari, Shinnosuke Seki, Zhi Xu: Triangular and Hexagonal Tile Self-assembly Systems. 357-375
• 
  Gheorghe Paun, Mario J. Pérez-Jiménez: dP Automata versus Right-Linear Simple Matrix Grammars. 376-387
• 
  Xiaoxue Piao, Kai Salomaa: State Complexity of Kleene-Star Operations on Trees. 388-402
• 
  Arto Salomaa: Composition Sequences and Synchronizing Automata. 403-416
• 
  Ioan Tomescu: On the Connected Partition Dimension of a Wheel Related Graph. 417-424

last updated on Tue May 21 01:52:20 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page