|
Search the dblp DataBase
Puri Arenas-Sánchez:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Puri Arenas-Sánchez, Agostino Dovier
Minimal Set Unification. [Citation Graph (0, 0)][DBLP] GULP-PRODE, 1995, pp:447-458 [Conf]
- 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]
- 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]
- 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]
- Puri Arenas-Sánchez, Agostino Dovier
Minimal Set Unification [Citation Graph (0, 0)][DBLP] PLILP, 1995, pp:397-414 [Conf]
- Puri Arenas-Sánchez, Ana Gil-Luezas
A Debugging Model for Lazy Narrowing [Citation Graph (0, 0)][DBLP] PLILP, 1995, pp:453-454 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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.001secs, Finished in 0.002secs
|