MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Rafael Caballero" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Dynamic-cut with definitional trees, in  
  • by Rafael Caballero, Francisco J. López-fraguas — 2002 — Proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, number 2441 in LNCS (2002
  • …Dynamic-Cut with Definitional Trees Rafael Caballero and Francisco J. López-Fraguas Dpto. de…
  • Cited by 2 (1 self) – Add To MetaCart
  • Declarative Debugging of Maude Modules  
  • by Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet — 2008
  • …Declarative Debugging of Maude Modules ∗ Adrián Riesco, Alberto Verdejo, Rafael Caballero…
  • Add To MetaCart
  • Constraint solving for generating glass-box test cases  
  • by Christoph Lembeck, Rafael Caballero, Roger A. Müller, Herbert Kuchen — 2004 — In Proceedings of International Workshop on Functional and (Constraint) Logic Programming (WFLP
  • …Constraint Solving for Generating Glass-Box Test Cases Christoph Lembeck 1 , Rafael Caballero 2…
  • Cited by 2 (1 self) – Add To MetaCart
  • Functional-Logic Parsers In TOY  
  • by Rafael Caballero Roldán, Francisco J. López Fraguas, T Oy, Rafael Caballero, J. L'opez Fraguas, Dep Lenguajes, Sistemas Inform'aticos Y Programaci'on — 1998
  • …FUNCTIONAL-LOGIC PARSERS IN T OY Rafael Caballero Rold'an - Francisco J. L'opez Fraguas…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB