Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 147, number: 1

1. Horatiu Cirstea, Narciso Martí-Oliet
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:1-3 [Journal]
   
2. Karl Trygve Kalleberg, Eelco Visser
   Combining Aspect-Oriented and Strategic Programming. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:5-30 [Journal]
   
3. Baris Aktemur, Samuel N. Kamin
   Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:31-55 [Journal]
   
4. Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi
   A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:57-72 [Journal]
   
5. Koji Hasebe, Mitsuhiro Okada
   Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:73-92 [Journal]
   
6. Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
   Automatic Implication Checking for CHR Constraints. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:93-111 [Journal]
   
7. Olivier Bournez, Liliana Ibanescu, Hélène Kirchner
   From Chemical Rules to Term Rewriting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:113-134 [Journal]
   
8. Fernando Rosa Velardo, Clara Segura, Alberto Verdejo
   Typed Mobile Ambients in Maude. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:135-161 [Journal]