The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 127, number: 5

  1. Maribel Fernández
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:1-2 [Journal]
  2. Pietro Cenciarelli, Alessandro Tiberi
    Rational Unification in 28 Characters. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:3-20 [Journal]
  3. Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
    A Rewriting Calculus for Cyclic Higher-order Term Graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:21-41 [Journal]
  4. Andrea Corradini, Fabio Gadducci
    On Term Graphs as an Adhesive Category. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:43-56 [Journal]
  5. Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang
    Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:57-82 [Journal]
  6. Fabien Fleutot
    Encoding an Object Calculus into Interaction Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:83-111 [Journal]
  7. Stefano Guerrini
    Sharing Implementations of Graph Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:113-132 [Journal]
  8. Ian Mackie
    Towards a Programming Language for Interaction Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:133-151 [Journal]
  9. François-Régis Sinot, Ian Mackie
    Macros for Interaction Nets: A Conservative Extension of Interaction Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:153-169 [Journal]
  10. Steffen van Bakel, Jayshan Raghunandan
    Implementing X. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:5, pp:171-195 [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