| |
| 2007 | ||
|---|---|---|
| 3 | EE | 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 | EE | José Miguel Cleva, Isabel Pita: Verification of CRWL Programs with Rewriting Logic. J. UCS 12(11): 1594-1617 (2006) |
| 2004 | ||
| 1 | EE | 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] |