Theoretical Computer Science, Volume 156

Volume 156, Numbers 1&2, 25 March 1996

• Philippe Nehlig:
  Applications quasi affines: pavages par images réciproques. 1-38
  Electronic Edition (link) BibTeX
• Rainer Kemp:
  Binary Search Trees Constructed from Nondistinct Keys with/without Specified Probabilities. 39-70
  Electronic Edition (link) BibTeX
• Pál Gyenizse, Sándor Vágvölgyi:
  Compositions of Deterministic Bottom-Up, Top-Down, and Regular Look-Ahead Tree Transformations. 71-97
  Electronic Edition (link) BibTeX
• Matthias Krause:
  Geometric Arguments Yield Better Bounds for Threshold Circuits and Distributed Computing. 99-117
  Electronic Edition (link) BibTeX
• Nicolas Bedon:
  Finite Automata and Ordinals. 119-144
  Electronic Edition (link) BibTeX
• Olympia Louscou-Bozapalidou:
  Stochastically Costed Tree Automata: Turakainen's Theorem. 145-158
  Electronic Edition (link) BibTeX
• Jean Françon:
  Sur la topologie d'un plan arithmétique. 159-176
  Electronic Edition (link) BibTeX
• Michael I. Schwartzbach:
  Static Correctness of Hierarchical Procedures. 177-201
  Electronic Edition (link) BibTeX
• Michael Forti, Furio Honsell:
  A General Construction of Hyperuniverses. 203-215
  Electronic Edition (link) BibTeX
• Yoshikane Takahashi:
  A Unified Constructive Network Model for Problem-Solving. 217-261
  Electronic Edition (link) BibTeX
• Yonghoan Kim:
  New Values in Domineering. 263-280
  Electronic Edition (link) BibTeX
• Véronique Terrier:
  Language not Recognizable in Real Time by One-Way Cellular Automata. 281-287
  Electronic Edition (link) BibTeX
• André Arnold, Ilaria Castellani:
  An Algebraic Characterization of Observational Equivalence. 289-299
  Electronic Edition (link) BibTeX
• Giovanni Manzini:
  On the Ordering of Sparse Linear Systems. 301-313
  Electronic Edition (link) BibTeX
• Roberto De Prisco, Alfredo De Santis:
  New Lower Bounds on the Cost of Binary Search Trees. 315-325
  Electronic Edition (link) BibTeX