Journals in DBLP

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

1. Narciso Martí-Oliet, José Meseguer
   Preface. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:285, n:2, pp:119-120 [Journal]
   
2. Narciso Martí-Oliet, José Meseguer
   Rewriting logic: roadmap and bibliography. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:285, n:2, pp:121-154 [Journal]
   
3. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
   ELAN from a rewriting logic point of view. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:285, n:2, pp:155-185 [Journal]
   
4. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
   Maude: specification and programming in rewriting logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:285, n:2, pp:187-243 [Journal]
   
5. Manuel Clavel, José Meseguer
   Reflection in conditional rewriting logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:285, n:2, pp:245-288 [Journal]
   
6. Razvan Diaconescu, Kokichi Futatsugi
   Logical foundations of CafeOBJ. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:285, n:2, pp:289-318 [Journal]
   
7. Fabio Gadducci, Ugo Montanari
   Comparing logics for rewriting: rewriting logic, action calculi and tile logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:285, n:2, pp:319-358 [Journal]
   
8. Peter Csaba Ölveczky, José Meseguer
   Specification of real-time and hybrid systems in rewriting logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:285, n:2, pp:359-405 [Journal]
   
9. Isabel Pita, Narciso Martí-Oliet
   A Maude specification of an object-oriented model for telecommunication networks. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:285, n:2, pp:407-439 [Journal]
   
10. Carolyn L. Talcott
    Actor theories in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:441-485 [Journal]
    
11. Patrick Viry
    Equational rules for rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:487-517 [Journal]
    
12. Martin Wirsing, Alexander Knapp
    A formal approach to object-oriented software engineering. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:519-560 [Journal]