José Miguel Cleva

	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

Coauthor Index

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