The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2003, volume: 86, number: 3

  1. María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas
    Abstract correction of first-order functional programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  2. Andrew P. Tolmach, Sergio Antoy
    A monadic semantics for core Curry. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  3. Michaël Rusinowitch
    Automated analysis of security protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  4. Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
    Narrowing-based simulation of term rewriting systems with extra variables. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  5. Ginés Moreno
    A narrowing-based instantiation rule for rewriting-based fold/unfold transformations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  6. Jan Maluszynski
    On integrating rules into the Semantic Web. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  7. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
    Failure and equality in functional logic programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  8. Michael Hanus, Klaus Höppner, Frank Huch
    Towards translating embedded Curry to C. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  9. Alcino Cunha
    Automatic visualization of recursion trees: a case study on generic programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  10. Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
    Cost-sensitive diagnosis of declarative programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  11. Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
    A safe relational calculus for functional logic deductive databases. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, pp:- [Journal]
  12. Germán Vidal
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:3, 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