Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 64, number:

1. Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss
   JACK: A Java Constraint Kit. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
2. Shin-ya Sato, Toru Sugimoto, Shinichi Yamada
   An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
3. Bernard Pope, Lee Naish
   Specialisation of Higher-Order Functions for Debugging. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
4. Salvador Lucas
   Lazy Rewriting and Context-Sensitive Rewriting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
5. Frank Huch
   Model Checking Erlang Programs - Abstracting Recursive Function Calls. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
6. Michael Hanus
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
7. José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río
   Specification of Logic Programming Languages from Reusable Semantic Building Blocks. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
8. Rachid Echahed, Wendelin Serwe
   Defining Actions in Concurrent Declarative Programming. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
9. Rafael Caballero, Mario Rodríguez-Artalejo
   A Declarative Debugging System for Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
   
10. Jeremie Blanc, Wendelin Serwe
    Timed Term Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
    
11. Sandra Alves, Mário Florido
    Type Inference using Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
    
12. Sergio Antoy, Pascual Julián Iranzo, Bart Massey
    Improving the Efficiency of Non-Deterministic Computations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
    
13. María Alpuente, Francisco J. Correa, Moreno Falaschi
    A Debugging Scheme for Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]
    
14. Miguel Palomino Tarjuelo
    Comparing Meseguer's Rewriting Logic with the Logic CRWL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]