Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2008, volume: 199, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Normalization for the Simply-Typed Lambda-Calculus in Twelf. [Citation Graph (, )][DBLP]
   
   
3. 
   A Coq Library for Verification of Concurrent Programs. [Citation Graph (, )][DBLP]
   
   
4. 
   A Logical Framework with Explicit Conversions. [Citation Graph (, )][DBLP]
   
   
5. 
   Meta-programming With Built-in Type Equality. [Citation Graph (, )][DBLP]
   
   
6. 
   Specifying Properties of Concurrent Computations in CLF. [Citation Graph (, )][DBLP]
   
   
7. 
   Redundancy Elimination for LF. [Citation Graph (, )][DBLP]
   
   
8. 
   Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic. [Citation Graph (, )][DBLP]
   
   
9. 
   A Meta Linear Logical Framework. [Citation Graph (, )][DBLP]
   
   
10. 
    Imperative LF Meta-Programming. [Citation Graph (, )][DBLP]