Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 58, number: 2

1. Serge Autexier
   A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
   
2. Maria Paola Bonacina, Bernhard Gramlich
   Preface: STRATEGIES 2001. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
   
3. Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
   Termination of Rewriting with Local Strategies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
   
4. Wolfgang Goerigk
   Mechanical Software Verification: High Level Control Aspects from a User's Perspective. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
   
5. Richard B. Kieburtz
   A Logic for Rewriting Strategies. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
   
6. Axel Schairer, Serge Autexier, Dieter Hutter
   A Pragmatic Approach to Reuse in Tactical Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]