Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 174, number: 1

1. Maribel Fernández, Ralf Lämmel
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:1-2 [Journal]
   
2. José Miguel Cleva, Francisco Javier López-Fraguas
   Semantic Determinism and Functional Logic Program Properties. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:3-15 [Journal]
   
3. Alcino Cunha, Joost Visser
   Strongly Typed Rewriting For Coupled Software Transformation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:17-34 [Journal]
   
4. Florent Kirchner, François-Régis Sinot
   Rule-Based Operational Semantics for an Imperative Language. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:35-47 [Journal]
   
5. Emanuel Kitzelmann, Ute Schmid
   Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:49-63 [Journal]
   
6. Peter Csaba Ölveczky, José Meseguer
   Recent Advances in Real-Time Maude. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:65-81 [Journal]
   
7. Fernando Rosa Velardo
   Coding Mobile Synchronizing Petri Nets into Rewriting Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:83-98 [Journal]
   
8. Victor L. Winter
   Model-driven Transformation-based Generation of Java Stress Tests. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:1, pp:99-114 [Journal]