Journals in DBLP

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

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   LCF-style Platform based on Multiway Decision Graphs. [Citation Graph (, )][DBLP]
   
   
3. 
   Order-Sorted Generalization. [Citation Graph (, )][DBLP]
   
   
4. 
   A Technique to Build Debugging Tools for Lazy Functional Logic Languages. [Citation Graph (, )][DBLP]
   
   
5. 
   State of the Practice in Algorithmic Debugging. [Citation Graph (, )][DBLP]
   
   
6. 
   On Metric Temporal Lukasiewicz Logic. [Citation Graph (, )][DBLP]
   
   
7. 
   Term Sequent Logic. [Citation Graph (, )][DBLP]
   
   
8. 
   Two-level Lambda-calculus. [Citation Graph (, )][DBLP]
   
   
9. 
   A Tool for Generating a Symbolic Representation of tccp Executions. [Citation Graph (, )][DBLP]
   
   
10. 
    Formalizing Operational Semantic Specifications in Logic. [Citation Graph (, )][DBLP]
    
    
11. 
    A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. [Citation Graph (, )][DBLP]
    
    
12. 
    Extending Constructive Logic Negation with Types. [Citation Graph (, )][DBLP]
    
    
13. 
    Transforming SAT into Termination of Rewriting. [Citation Graph (, )][DBLP]