The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 135, number: 3

  1. Maribel Fernández, Ian Mackie
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:1-2 [Journal]
  2. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
    A Generalized Higher-Order Chemical Computation Model. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:3-13 [Journal]
  3. Udi Boker, Nachum Dershowitz
    Abstract Effective Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:15-23 [Journal]
  4. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    On Reversible Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:25-35 [Journal]
  5. Sophia Drossopoulou, A. Petrounias, Alex Buckley, Susan Eisenbach
    SCHOOL: a Small Chorded Object-Oriented Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:37-47 [Journal]
  6. Sonia Fagorzi, Elena Zucca
    A Calculus for Reconfiguration: (Extended abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:49-59 [Journal]
  7. Pablo Garralda, Adriana B. Compagnoni
    Splitting Mobility and Communication in Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:61-71 [Journal]
  8. Furio Honsell, Marina Lenisa, Rekha Redamalla
    Coalgebraic Description of Generalized Binary Methods. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:73-84 [Journal]
  9. Luigi Liquori
    iRho: the Software: [System Description]. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:85-94 [Journal]
  10. Florin Manea, Carlos Martín-Vide, Victor Mitrana
    A Universal Accepting Hybrid Network of Evolutionary Processors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:95-105 [Journal]
  11. Antonio Cosentino, Marco Pedicini, Francesco Quaglia
    Supporting Function Calls within PELCR. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:107-117 [Journal]
  12. Simon Perdrix, Philippe Jorrand
    Classically-controlled Quantum Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:119-128 [Journal]
  13. François-Régis Sinot
    Token-Passing Nets: Call-by-Need for Free. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:129-139 [Journal]
  14. H. Xu, S. Yu
    Type Theory and Language Constructs for Objects with States. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:141-151 [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