Theoretical Computer Science, Volume 372

Volume 372, Number 1, March 2007

• Igor Dolinka:
  Axiomatizing the identities of binoid languages. 1-14
  
• Florence Levé, Gwénaël Richomme:
  Quasiperiodic Sturmian words and morphisms. 15-25
  
• Piotr Berman, Marek Karpinski, Yakov Nekrich:
  Optimal trade-off for Merkle tree traversal. 26-36
  
• Paul Bell, Igor Potapov:
  On the membership of invertible diagonal and scalar matrices. 37-45
  
• Marcus Pivato:
  RealLife: The continuum limit of Larger than Life cellular automata. 46-68
  
• Zhiyi Tan, Yong Wu:
  Optimal semi-online algorithms for machine covering. 69-80
  
• Toshimasa Ishii, Hitoshi Fujita, Hiroshi Nagamochi:
  Minimum cost source location problem with local 3-vertex-connectivity requirements. 81-93
  
• Deshi Ye, Guochuan Zhang:
  On-line scheduling mesh jobs with dependencies. 94-102
  
• Wenqing Dou, Enyu Yao:
  On rearrangeable multirate three-stage Clos networks. 103-107
  

• Frank Gurski:
  Characterizations for restricted graphs of NLC-width 2. 108-114
  
• Paolo Ferragina, Rossano Venturini:
  A simple storage scheme for strings achieving entropy bounds. 115-121
  

Volume 372, Numbers 2-3, March 2007

• Gheorghe Paun, Mario J. Pérez-Jiménez:
  Fourth Brainstorming Week on Membrane Computing. 123-124
  
• Nadia Busi:
  Using well-structured transition systems to decide divergence for catalytic P systems. 125-135
  
• Matteo Cavaliere, Rudolf Freund, Marion Oswald, Dragos Sburlan:
  Multiset random context grammars, checkers, and transducers. 136-151
  
• Erzsébet Csuhaj-Varjú, Maurice Margenstern, György Vaszil, Sergey Verlan:
  On small universal antiport P systems. 152-164
  
• Federico Fontana, Vincenzo Manca:
  Discrete solutions to differential equations by metabolic P systems. 165-182
  
• Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
  On the degree of parallelism in membrane systems. 183-195
  
• Oscar H. Ibarra, Andrei Paun, Gheorghe Paun, Alfonso Rodríguez-Patón, Petr Sosík, Sara Woodworth:
  Normal forms for spiking neural P systems. 196-217
  
• Alberto Leporati, Sara Felloni:
  Three "quantum" algorithms to solve 3-SAT. 218-241
  
• Michael Muskulus, Daniela Besozzi, Robert Brijder, Paolo Cazzaniga, Sanne Houweling, Dario Pescini, Grzegorz Rozenberg:
  Cycles and communicating classes in membrane systems and molecular dynamics. 242-266