Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2003, volume: 86, number: 4

1. Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
   Rewrite strategies in the rewriting calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
   
2. Manuel Clavel
   Strategies and user interfaces in Maude at work. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
   
3. Jürgen Giesl, Hans Zantema
   Simulating liveness by reduction strategies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
   
4. Bernhard Gramlich, Salvador Lucas
   3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
   
5. Stephane Lengrand
   Call-by-value, call-by-name, and strong normalization for the classical sequent calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
   
6. Monica Nesi, Giuseppina Rucci, Massimo Verdesca
   A rewriting strategy for protocol verification. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
   
7. Mizuhito Ogawa
   Call-by-need reduction for membership conditional term rewriting Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
   
8. Jorge Sousa Pinto
   Weak reduction and garbage collection in interaction nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]