| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 3 |      | José Miguel Cleva, Francisco Javier López-Fraguas: Semantic Determinism and Functional Logic Program Properties. Electr. Notes Theor. Comput. Sci. 174(1): 3-15 (2007) |
| 2006 | ||
| 2 | | José Miguel Cleva, Isabel Pita: Verification of CRWL Programs with Rewriting Logic. J. UCS 12(11): 1594-1617 (2006) |
| 2004 | ||
| 1 | | José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas: A logic programming approach to the verification of functional-logic programs. PPDP 2004: 9-19 |
| 1 | Javier Leach Albert (Javier Leach) | [1] |
| 2 | Francisco Javier López-Fraguas | [1] [3] |
| 3 | Isabel Pita | [2] |
Colors in the list of coauthors
Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page