The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Puri Arenas-Sánchez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Puri Arenas-Sánchez, Agostino Dovier
    Minimal Set Unification. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:447-458 [Conf]
  2. Puri Arenas-Sánchez, Ana Gil-Luezas
    A Debugging Model for Lazy Functional Logic Languages. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:117-131 [Conf]
  3. Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán
    Real Constraints within a Functional Logic Language. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:451-464 [Conf]
  4. Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo
    Reduced Certificates for Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:163-178 [Conf]
  5. Puri Arenas-Sánchez, Agostino Dovier
    Minimal Set Unification [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:397-414 [Conf]
  6. Puri Arenas-Sánchez, Ana Gil-Luezas
    A Debugging Model for Lazy Narrowing [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:453-454 [Conf]
  7. Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas
    Combining Lazy Narrowing with Disequality Constraints. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:385-399 [Conf]
  8. Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo
    Embedding Multiset Constraints into a Lazy Functional Logic Language. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:429-444 [Conf]
  9. Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo
    Functional Plus Logic Programming with Built-In and Symbolic Constraints. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:152-169 [Conf]
  10. Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
    A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:53-67 [Conf]
  11. Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
    A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:453-464 [Conf]
  12. Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
    A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  13. Puri Arenas-Sánchez, Agostino Dovier
    A Minimality Study for Set Unification. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1997, v:1997, n:7, pp:- [Journal]
  14. Puri Arenas-Sánchez, Mario Rodríguez-Artalejo
    A General Framework for Lazy Functional Logic, Programming with Algebraic Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:2, pp:185-245 [Journal]

Search in 0.002secs, Finished in 0.003secs
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