dblp.uni-trier.dewww.uni-trier.de

José Miguel Cleva

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Javier Leach Albert (Javier Leach) [1]
2Francisco Javier López-Fraguas [1] [3]
3Isabel Pita [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)