Theoretical Computer Science, Volume 165

Volume 165, Number 1, 30 September 1996

• Michel Bidoit, Rolf Hennicker:
  Behavioural Theories and the Proof of Behavioural Properties. 3-55
  Electronic Edition (link) BibTeX
• Michael Codish, Grigory Mashevitzky:
  Proving Implications by Algebraic Approximation. 57-74
  Electronic Edition (link) BibTeX
• Sergio Antoy, Aart Middeldorp:
  A Sequential Reduction Strategy. 75-95
  Electronic Edition (link) BibTeX
• Bernhard Gramlich:
  On Termination and Confluence Properties of Disjoint and Constructor-Sharing Conditional Rewrite Systems. 97-131
  Electronic Edition (link) BibTeX
• María Alpuente, Moreno Falaschi, Germán Vidal:
  A Compositional Semantic Basis for the Analysis of Equational Horn Programs. 133-169
  Electronic Edition (link) BibTeX
• Frank Teusink:
  Three-Valued Completion for Abductive Logic Programs. 171-200
  Electronic Edition (link) BibTeX
• Dale Miller:
  Forum: A Multiple-Conclusion Specification Logic. 201-232
  Electronic Edition (link) BibTeX

Volume 165, Number 2, 10 October 1996

• Campbell Fraser:
  Consistent Subsequences and Supersequences. 233-246
  Electronic Edition (link) BibTeX
• Françoise Maurin:
  Exact Complexity Bounds for Ordinal Addition. 247-273
  Electronic Edition (link) BibTeX
• Laurent Pélecq:
  Automorphism Groups of Context-Free Graphs. 275-293
  Electronic Edition (link) BibTeX
• Valérie Berthé:
  Fréquences des facteurs des suites sturmiennes. 295-309
  Electronic Edition (link) BibTeX
• J. Ian Munro, Venkatesh Raman:
  Selection from Read-Only Memory and Sorting with Minimum Data Movement. 311-323
  Electronic Edition (link) BibTeX
• Michelle Morcrette:
  Sur l'équivalence de descriptions de figures itérées. 325-354
  Electronic Edition (link) BibTeX
• Sulekha R. Kulkarni, Priti Shankar:
  Linear Time Parsers for Classes of Non Context Free Languages. 355-390
  Electronic Edition (link) BibTeX
• Michel Habib, Lhouari Nourine:
  Tree Structure for Distributive Lattices and its Applications. 391-405
  Electronic Edition (link) BibTeX
• Carlo Blundo, Antonella Cresti, Alfredo De Santis, Ugo Vaccaro:
  Fully Dynamic Secret Sharing Schemes. 407-440
  Electronic Edition (link) BibTeX
• Vincenzo Auletta, Domenico Parente, Giuseppe Persiano:
  Dynamic and Static Algorithms for Optimal Placement of Resources in a Tree. 441-461
  Electronic Edition (link) BibTeX
• Sorina Dumitrescu:
  Nonreturning PC Grammar Systems Can Be Simulated By Returning Systems. 463-474
  Electronic Edition (link) BibTeX
• Katsunobu Imai, Kenichi Morita:
  Firing Squad Synchronization Problem in Reversible Cellular Automata. 475-482
  Electronic Edition (link) BibTeX
• Valentin E. Brimkov, Bruno Codenotti, Mauro Leoncini, Giovanni Resta:
  Strong NP-Completeness of a Matrix Similarity Problem. 483-490
  Electronic Edition (link) BibTeX