Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 128, number: 1

1. Luca Aceto, Wan Fokkink, Irek Ulidowski
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:1-0 [Journal]
   
2. Bartek Klin
   From Bialgebraic Semantics to Congruence Formats. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:3-37 [Journal]
   
3. Marija Kulas
   Toward the Concept of Backtracking Computation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:39-59 [Journal]
   
4. Ralf Lämmel
   Evolution Scenarios for Rule-Based Implementations of Language-Based Functionality. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:61-79 [Journal]
   
5. Matthias Mann
   Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:81-101 [Journal]
   
6. Olivier Tardieu
   A Deterministic Logical Semantics for Esterel. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:103-122 [Journal]