Journals in DBLP

Theor. Comput. Sci.
2002, volume: 286, number: 2

1. José Luiz Fiadeiro
   Preface. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:286, n:2, pp:151- [Journal]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:286, n:2, pp:153-196 [Journal]
   
3. Tomasz Borzyszkowski
   Logical systems for structured specifications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:286, n:2, pp:197-245 [Journal]
   
4. Roberto Bruni, Fabio Gadducci, Ugo Montanari
   Normal forms for algebras of connection. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:286, n:2, pp:247-292 [Journal]
   
5. Andrea Corradini, Fabio Gadducci
   A functorial semantics for multi-algebras and partial algebras, with applications to syntax. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:286, n:2, pp:293-322 [Journal]
   
6. Beata Konikowska
   Rasiowa-Sikorski deduction systems in computer science applications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:286, n:2, pp:323-366 [Journal]
   
7. Till Mossakowski
   Relating CASL with other specification languages: the institution level. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:286, n:2, pp:367-475 [Journal]