Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 174, number: 10

1. Sergio Antoy
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:1-2 [Journal]
   
2. Richard B. Kieburtz
   Programmed Strategies for Program Verification. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:3-38 [Journal]
   
3. Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
   From Functional Programs to Interaction Nets via the Rewriting Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:39-56 [Journal]
   
4. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
   The Power of Closed Reduction Strategies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:57-74 [Journal]
   
5. Naoki Nishida, Tomohiro Mizutani, Masahiko Sakai
   Transformation for Refining Unraveled Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:75-95 [Journal]
   
6. Claudio Sacerdoti Coen
   Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:97-118 [Journal]
   
7. Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén
   Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:119-137 [Journal]
   
8. Muck van Weerdenburg
   An Account of Implementing Applicative Term Rewriting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:10, pp:139-155 [Journal]