Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 153, number: 1

1. Stuart Allen, John Crossley, Kung-Kiu Lau, Iman Poernomo
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:1-2 [Journal]
   
2. Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
   Constructing Induction Rules for Deductive Synthesis Proofs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:3-21 [Journal]
   
3. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
   ESBC: an application for computing stabilization bounds. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:23-33 [Journal]
   
4. Jean-Pierre Jouannaud, Weiwen Xu
   Automatic Complexity Analysis for Programs Extracted from Coq Proof. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:35-53 [Journal]
   
5. Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
   A Constructive Object Oriented Modeling Language for Information Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:55-75 [Journal]
   
6. Andrej Bauer, Christopher A. Stone
   Specifications via Realizability. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:77-92 [Journal]