Journals in DBLP

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

1. Sergio Antoy, Salvador Lucas
   Demandness in Rewriting and Narrowing. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
   
2. Gianfranco Rossi
   Set-based Nondeterministic Declarative Programming in Singleton. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
   
3. Pim van Leeuwen, Henk Hesselink, Jos Rohling
   Scheduling Aircraft Using Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
   
4. Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya
   Declarative Reflection and its Application as a Pattern Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
   
5. Michael Hanus, Klaus Höppner
   Programming Autonomous Robots in Curry. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
   
6. Francisco Gutiérrez, Blas C. Ruiz
   Order Functional Pure Type Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
   
7. Raffaella Gentilini, Carla Piazza, Alberto Policriti
   Simulation Reduction as Constraint. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
   
8. María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
   Comparing Under and Over-Approximations of LTL Properties for Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
   
9. Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
   Probabilistic Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
   
10. Gérard Ferrand, Willy Lesaint, Alexandre Tessier
    Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
    
11. Agostino Dovier, Matteo Burato, Federico Fogolari
    Using Secondary Structure Information for Protein Folding in CLP(FD). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
    
12. Giorgio Delzanno
    An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
    
13. Marco Comini, Moreno Falaschi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
    
14. Rafael Caballero, Wolfgang Lux
    Declarative Debugging for Encapsulated Search. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
    
15. María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas
    Redundancy of Arguments Reduced to Induction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
    
16. Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
    Operational Semantics for Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
    
17. Peter Thiemann
    Programmable Type Systems for Domain Specific Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]