Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 228, number:

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   On the Expressivity of Minimal Generic Quantification. [Citation Graph (, )][DBLP]
   
   
3. 
   Type Theory Should Eat Itself. [Citation Graph (, )][DBLP]
   
   
4. 
   A Simple Nominal Type Theory. [Citation Graph (, )][DBLP]
   
   
5. 
   Explicit Contexts in LF (Extended Abstract). [Citation Graph (, )][DBLP]
   
   
6. 
   Case Analysis of Higher-Order Data. [Citation Graph (, )][DBLP]
   
   
7. 
   Reasoning in Abella about Structural Operational Semantics Specifications. [Citation Graph (, )][DBLP]
   
   
8. 
   Inductive Completeness of Logics of Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   System Description: Delphin - A Functional Programming Language for Deductive Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Proof Checking Technology for Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]
    
    
11. 
    On the Role of Names in Reasoning about lambda-tree Syntax Specifications. [Citation Graph (, )][DBLP]