Journals in DBLP

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

1. Myla Archer, Thierry Boy de la Tour, César Muñoz
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:1-2 [Journal]
   
2. Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
   Deduction, Strategies, and Rewriting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:3-25 [Journal]
   
3. Maria Paola Bonacina, Mnacho Echenim
   Rewrite-Based Decision Procedures. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:27-45 [Journal]
   
4. Florent Kirchner, César Muñoz
   PVS#: Streamlined Tacticals for PVS. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:47-58 [Journal]
   
5. Hongping Lim, Myla Archer
   Translation Templates to Support Strategy Development in PVS. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:59-79 [Journal]