The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Slim Abdennadher, Christophe Ringeissen
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:1-2 [Journal]
  2. Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo
    Playing with Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:3-23 [Journal]
  3. Francisco Durán, Santiago Escobar, Salvador Lucas
    On-demand Evaluation for Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:25-39 [Journal]
  4. María Alpuente, Demis Ballis, Moreno Falaschi
    A Rewriting-based Framework for Web Sites Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:41-61 [Journal]
  5. Carsten Albrecht, Andreas Döring
    A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware Engine. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:63-80 [Journal]
  6. Hitoshi Ohsaki, Toshinori Takai
    ACTAS : A System Design for Associative and Commutative Tree Automata Theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:97-111 [Journal]
  7. Yannick Chevalier, Laurent Vigneron
    Rule-based Programs Describing Internet Security Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:113-132 [Journal]
  8. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
    Principles of Chemical Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:133-147 [Journal]
  9. Victor L. Winter
    Strategy Construction in the Higher-Order Framework of TL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:149-170 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002