Journals in DBLP

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

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Innermost Termination of Rewrite Systems by Labeling. [Citation Graph (, )][DBLP]
   
   
3. 
   Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Termination of Lazy Rewriting Revisited. [Citation Graph (, )][DBLP]
   
   
5. 
   Undecidable Properties on Length-Two String Rewriting Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   Rules and Strategies in Java. [Citation Graph (, )][DBLP]
   
   
7. 
   Regular Strategies as Proof Tactics for CIRC. [Citation Graph (, )][DBLP]
   
   
8. 
   On Term-Graph Rewrite Strategies. [Citation Graph (, )][DBLP]
   
   
9. 
   Towards a Sharing Strategy for the Graph Rewriting Calculus. [Citation Graph (, )][DBLP]
   
   
10. 
    Complete Laziness: a Natural Semantics. [Citation Graph (, )][DBLP]
    
    
11. 
    Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. [Citation Graph (, )][DBLP]
    
    
12. 
    Minimality in a Linear Calculus with Iteration. [Citation Graph (, )][DBLP]
    
    
13. 
    Token-passing Nets for Functional Languages. [Citation Graph (, )][DBLP]