Theoretical Computer Science, Volume 286

Volume 286, Number 1, September 2002

• Peter Ruzicka: Preface. 1 BibTeX
• Foto N. Afrati, Irène Guessarian, Michel de Rougemont: The expressiveness of DAC. 3-32 BibTeX
• Walter Vogler: Partial order semantics and read arcs. 33-63 BibTeX
• Zurab Khasidashvili, John R. W. Glauert: Relating conflict-free stable transition and event models via redex families. 65-95 BibTeX
• Markus Holzer: Multi-head finite automata: data-independent versus data-dependent computations. 97-116 BibTeX
• Christian Choffrut, Giovanni Pighizzini: Distances between languages and reflexivity of relations. 117-138 BibTeX
• Drago Krznaric, Christos Levcopoulos: Optimal algorithms for complete linkage clustering in d dimensions. 139-149 BibTeX

Volume 286, Number 2, September 2002

• José Luiz Fiadeiro: Preface. 151 BibTeX
• Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki: CASL: the Common Algebraic Specification Language. 153-196 BibTeX
• Tomasz Borzyszkowski: Logical systems for structured specifications. 197-245 BibTeX
• Roberto Bruni, Fabio Gadducci, Ugo Montanari: Normal forms for algebras of connection. 247-292 BibTeX
• Andrea Corradini, Fabio Gadducci: A functorial semantics for multi-algebras and partial algebras, with applications to syntax. 293-322 BibTeX
• Beata Konikowska: Rasiowa-Sikorski deduction systems in computer science applications. 323-366 BibTeX
• Till Mossakowski: Relating CASL with other specification languages: the institution level. 367-475 BibTeX