MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Puri Arenas" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • A Debugging Model for Lazy Narrowing  
  • by Puri Arenas-S'anchez, Ana Gil-luezas — 1995
  • …A Debugging Model for Lazy Narrowing ? Puri Arenas-S'anchez, Ana Gil-Luezas Unv. Complutense de…
  • Add To MetaCart
  • An Incremental Approach to AbstractionCarrying Code  
  • by Elvira Albert, Puri Arenas, Germán Puebla — 2006 — In Proceedings of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR’06), Lecture Notes in Computer Science
  • …An Incremental Approach to Abstraction-Carrying Code Elvira Albert 1 , Puri Arenas 1 , and Germán…
  • Cited by 1 (0 self) – Add To MetaCart
  • Combining Lazy Narrowing with Disequality Constraints  
  • by Puri Arenas-Sánchez, Ana Gil-luezas, Paco López-Fraguas — 1994 — In Proc. of the 6th International Symposium on Programming Language Implementation and Logic Programming
  • …Combining Lazy Narrowing with Disequality Constraints Puri Arenas-S'anchez, Ana Gil-Luezas, Paco…
  • Cited by 14 (2 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB