Journals in DBLP

Theor. Comput. Sci.
2007, volume: 373, number: 3

1. Peter D. Mosses, Irek Ulidowski
   Preface. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:373, n:3, pp:161-162 [Journal]
   
2. Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
   A rewriting logic framework for operational semantics of membrane systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:373, n:3, pp:163-181 [Journal]
   
3. Samuel Hym, Matthew Hennessy
   Adding recursion to Dpi. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:373, n:3, pp:182-212 [Journal]
   
4. José Meseguer, Grigore Rosu
   The rewriting logic semantics project. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:373, n:3, pp:213-237 [Journal]
   
5. Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
   SOS formats and meta-theory: 20 years after. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:373, n:3, pp:238-272 [Journal]
   
6. Ando Saabas, Tarmo Uustalu
   A compositional natural semantics and Hoare logic for low-level languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2007, v:373, n:3, pp:273-302 [Journal]