Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 137, number: 1

1. Salvador Lucas
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:1-3 [Journal]
   
2. Javier Álvez, Paqui Lucio
   Elimination of Local Variables from Definite Logic Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:5-24 [Journal]
   
3. Miquel Bertran, Francesc-Xavier Babot, August Climent
   An Input/Output Semantics for Distributed Program Equivalence Reasoning. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:25-46 [Journal]
   
4. Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
   Dealing Denotationally With Stream-based Communication. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:47-68 [Journal]
   
5. Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad
   Unfolding-based Improvements on Fuzzy Logic Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:69-103 [Journal]
   
6. Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo
   A Tutorial on Specifying Data Structures in Maude. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:105-132 [Journal]
   
7. Isabel Pita, Miguel Palomino
   Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:133-150 [Journal]
   
8. Fernando Rosa Velardo, Clara Segura, David de Frutos-Escrig
   Tagged Systems: A Framework for the Specification of History-dependent Properties. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:151-174 [Journal]