Journals in DBLP

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

1. Alberto Momigliano, Brigitte Pientka
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:1-2 [Journal]
   
2. Alwen Tiu
   A Logic for Reasoning about Generic Judgments. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:3-18 [Journal]
   
3. Ulrich Schöpp
   Modelling Generic Judgements. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:19-35 [Journal]
   
4. Murdoch Gabbay
   Hierarchical Nominal Terms and Their Theory of Rewriting. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:37-52 [Journal]
   
5. Stefan Berghofer, Christian Urban
   A Head-to-Head Comparison of de Bruijn Indices and Names. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:53-67 [Journal]
   
6. Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich
   Nominal Reasoning Techniques in Coq: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:69-77 [Journal]
   
7. Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
   Practical Reflection for Sequent Logics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:79-94 [Journal]
   
8. Andrew W. Appel, Xavier Leroy
   A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:95-108 [Journal]
   
9. Kevin Donnelly, Hongwei Xi
   A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:109-125 [Journal]
   
10. Chad E. Brown
    Encoding Functional Relations in Scunak. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:127-139 [Journal]
    
11. Mircea-Dan Hernest
    Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:141-149 [Journal]