Theoretical Computer Science, Volume 249

Volume 249, Number 1, 17 October 2000

• Klaus Keimel, Michael W. Mislove, Constantine Tsinakis:
  Modern Algebra - Foreword. 1
  Electronic Edition (link) BibTeX
• Jan J. M. M. Rutten:
  Universal coalgebra: a theory of systems. 3-80
  Electronic Edition (link) BibTeX
• Chantal Berline:
  From computation to foundations via functions and application: The -calculus and its webbed models. 81-161
  Electronic Edition (link) BibTeX
• Frank J. Oles:
  An application of lattice theory to knowledge representation. 163-196
  Electronic Edition (link) BibTeX
• Antonino Salibra:
  On the algebraic models of lambda calculus. 197-240
  Electronic Edition (link) BibTeX

Volume 249, Number 2, 28 October 2000

• Costas S. Iliopoulos:
  Combinatorial Algorithms - Preface. 241
  Electronic Edition (link) BibTeX
• Paul E. Dunne, Alan Gibbons, Michele Zito:
  Complexity-theoretic models of phase transitions in search problems. 243-263
  Electronic Edition (link) BibTeX
• Aviezri S. Fraenkel:
  Recent results and questions in combinatorial game complexities. 265-288
  Electronic Edition (link) BibTeX
• Frantiek Frank, Ayse Karaman, W. F. Smyth:
  Repetitions in Sturmian strings. 289-303
  Electronic Edition (link) BibTeX
• Jan Holub, Borivoj Melichar:
  Approximate string matching using factor automata. 305-311
  Electronic Edition (link) BibTeX
• Laurent Mouchard:
  Normal forms of quasiperiodic strings. 313-324
  Electronic Edition (link) BibTeX
• Somasundaram Ravindran, Alan Gibbons, Mike Paterson:
  Dense edge-disjoint embedding of complete binary trees in interconnection networks. 325-342
  Electronic Edition (link) BibTeX
• W. F. Smyth:
  Repetitive perhaps, but certainly not boring. 343-355
  Electronic Edition (link) BibTeX
• Sanming Zhou:
  Bounding the bandwidths for graphs. 357-368
  Electronic Edition (link) BibTeX