Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 176, number: 4

1. Grit Denker, Carolyn L. Talcott
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:1-3 [Journal]
   
2. Peter Csaba Ölveczky, José Meseguer
   Abstraction and Completeness for Real-Time Maude. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:5-27 [Journal]
   
3. Ralf Sasse, José Meseguer
   Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:29-46 [Journal]
   
4. Michael Katelman, José Meseguer
   A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:47-60 [Journal]
   
5. Azadeh Farzan, José Meseguer
   Partial Order Reduction for Rewriting Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:61-78 [Journal]
   
6. Gustavo Santos-García, Miguel Palomino
   Solving Sudoku Puzzles with Rewriting Rules. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:79-93 [Journal]
   
7. Horatiu Cirstea, Clément Houtmann, Benjamin Wack
   Distributive rho-calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:95-111 [Journal]
   
8. Francisco Durán, Adrián Riesco, Alberto Verdejo
   A Distributed Implementation of Mobile Maude. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:113-131 [Journal]
   
9. Fabricio Chalub, Christiano Braga
   Maude MSOS Tool. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:133-146 [Journal]
   
10. Martin R. Neuhäußer, Thomas Noll
    Abstraction and Model Checking of Core Erlang Programs in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:147-163 [Journal]
    
11. Antoine Reilles
    Canonical Abstract Syntax Trees. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:165-179 [Journal]
    
12. Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister
    A Rewriting Logic Framework for Soft Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:181-197 [Journal]
    
13. Dilia E. Rodriguez
    On Modelling Sensor Networks in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:199-213 [Journal]
    
14. Mark Hills, Traian Serbanuta, Grigore Rosu
    A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:215-231 [Journal]
    
15. Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
    Rewriting Logic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:233-247 [Journal]