Theoretical Computer Science, Volume 168

Volume 168, Number 1, 10 November 1996

• Branislav Rovan:
  Introduction: Selected Papers of MFCS 1994. 1
• Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan Terwijn:
  Genericity and Measure for Exponential Time. 3-19
  
• Ricardo A. Baeza-Yates:
  Bounded Disorder: The Effect of the Index. 21-38
  
• Martin Dietzfelbinger, Juraj Hromkovic, Georg Schnitger:
  A Comparison of Two Lower-Bound Methods for Communication Complexity. 39-51
  
• Gian Luigi Ferrari, Ugo Montanari, Paola Quaglia:
  A Pi-Calculus with Explicit Substitutions. 53-103
  
• Juhani Karhumäki, Wojciech Plandowski:
  On the Size of Independent Systems of Equations in Semigroups. 105-119
  
• Dimitris J. Kavvadias, Grammati E. Pantziou, Paul G. Spirakis, Christos D. Zaroliagis:
  Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems. 121-154
  
• Kurt Sieber:
  Full Abstraction for the Second Order Subset of an Algol-Like Language. 155-212
  

Volume 168, Number 2, 20 November 1996

• Maurice Margenstern:
  Foreword: Universal Machines and Computations. 213-214
• Yurii Rogozhin:
  Small Universal Turing Machines. 215-240
  
• Manfred Kudlek:
  Small Deterministic Turing Machines. 241-255
  
• Liudmila Pavlotskaya:
  On Machines, Universal by Extensions. 257-266
  
• Ivan Korec:
  Small Universal Register Machines. 267-301
  
• Kenichi Morita:
  Universality of a Reversible Two-Counter Machine. 303-320
  
• Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
  Computing by Splicing. 321-336
  
• Kenichi Morita, Katsunobu Imai:
  Self-Reproduction in a Reversible Cellular Space. 337-366
  
• Jacques Mazoyer:
  On Optimal Solutions to the Firing Squad Synchronization Problem. 367-404
  
• Eric Goles Ch., Martín Matamala:
  Symmetric Discrete Universal Neural Networks. 405-416
  
• Olivier Bournez, Michel Cosnard:
  On the Computational Power of Dynamical Systems and Hybrid Systems. 417-459
  
• Hava T. Siegelmann:
  The Simple Dynamics of Super Turing Theories. 461-472
  
• Pascal Koiran:
  A Family of Universal Recurrent Networks. 473-480