Theoretical Computer Science, Volume 148

Volume 148, Number 1, 21 August 1995

• P. Diamond, P. Kloeden, V. Kozyakin, A. Pokrovskii:
  On the Fragmentary Complexity of Symbolic Sequences. 1-17
  Electronic Edition (link) BibTeX
• Bruno Durand:
  A Random NP-Complete Problem for Inversion of 2D Cellular Automata. 19-32
  Electronic Edition (link) BibTeX
• Liming Cai, Jianer Chen:
  On Input Read-Modes of Alternating Turing Machines. 33-55
  Electronic Edition (link) BibTeX
• Takayoshi Shoudai, Satoru Miyano:
  Using Maximal Independent Sets to Solve Problems in Parallel. 57-65
  Electronic Edition (link) BibTeX
• Ratnesh Kumar, Vijay K. Garg:
  Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control. 67-92
  Electronic Edition (link) BibTeX
• Hans L. Bodlaender, Klaus Jansen:
  Restrictions of Graph Partition Problems. Part I. 93-109
  Electronic Edition (link) BibTeX
• Ingo Althöfer, Jörg Bültermann:
  Superlinear Period Lengths in Some Subtraction Games. 111-119
  Electronic Edition (link) BibTeX
• André Arnold:
  An Initial Semantics for the mu-Calculus on Trees and Rabin's Complementation Lemma. 121-132
  Electronic Edition (link) BibTeX
• Devdatt P. Dubhashi, Grammati E. Pantziou, Paul G. Spirakis, Christos D. Zaroliagis:
  The Fourth Moment in Luby's Distribution. 133-140
  Electronic Edition (link) BibTeX
• Don Kimber, Philip M. Long:
  On-Line Learning of Smooth Functions of a Single Variable. 141-156
  Electronic Edition (link) BibTeX
• Kenichi Morita:
  Reversible Simulation of One-Dimensional Irreversible Cellular Automata. 157-163
  Electronic Edition (link) BibTeX
• Uri Zwick:
  The Smallest Networks on Which the Ford-Fulkerson Maximum Flow Procedure may Fail to Terminate. 165-170
  Electronic Edition (link) BibTeX
• Maria Cristina Pinotti, Geppino Pucci:
  Parallel Algorithms for Priority Queue Operations. 171-180
  Electronic Edition (link) BibTeX

Volume 148, Number 2, 4 September 1995

• Carme Àlvarez, Birgit Jenner:
  On Adaptive DLOGTIME and POLYLOGTIME Reductions. 183-205
  Electronic Edition (link) BibTeX
• Bernd Borchert:
  On the Acceptance Power of Regular Languages. 207-225
  Electronic Edition (link) BibTeX
• Véronique Bruyère, Clelia de Felice, Giovanna Guaiana:
  On Some Decision Problems for Trace Codings. 227-260
  Electronic Edition (link) BibTeX
• Kousha Etessami, Neil Immerman:
  Reachability and the Power of Local Ordering. 261-279
  Electronic Edition (link) BibTeX
• Petr Jancar:
  Undecidability of Bisimilarity for Petri Nets and Some Related Problems. 281-301
  Electronic Edition (link) BibTeX
• François Laroussinie, Ph. Schnoebelen:
  A Hierarchy of Temporal Logics with Past. 303-324
  Electronic Edition (link) BibTeX
• Ashish V. Naik, Kenneth W. Regan, D. Sivakumar:
  On Quasilinear-Time Complexity Theory. 325-349
  Electronic Edition (link) BibTeX