The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1999, volume: 30, number: 2

  1. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Rules and Strategies for Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  2. Marco Gavanelli, Michela Milano
    On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  3. Germán Puebla, Manuel V. Hermenegildo
    Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  4. Michael Leuschel
    Preface - Workshop on Optimization and Implementation of Declarative Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  5. Michael Leuschel, Jesper Jørgensen
    Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  6. Kazunori Ueda
    Linearity Analysis of Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  7. Wim Vanhoof, Maurice Bruynooghe
    Towards Modular Binding-Time Analysis for First-order Mercury. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  8. Neng-Fa Zhou, Sosuke Kaneko
    A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [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