Journals in DBLP

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

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. [Citation Graph (, )][DBLP]
   
   
3. 
   A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. [Citation Graph (, )][DBLP]
   
   
4. 
   Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. [Citation Graph (, )][DBLP]
   
   
5. 
   Systematic Semantic Tableaux for PLTL. [Citation Graph (, )][DBLP]
   
   
6. 
   Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. [Citation Graph (, )][DBLP]
   
   
7. 
   Algebraic Stuttering Simulations. [Citation Graph (, )][DBLP]
   
   
8. 
   Architectural Connectors for Sequence Diagrams. [Citation Graph (, )][DBLP]
   
   
9. 
   Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. [Citation Graph (, )][DBLP]
   
   
10. 
    Functions and Lazy Evaluation in Prolog. [Citation Graph (, )][DBLP]