José Miguel Cleva

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

José Miguel Cleva, Francisco Javier López-Fraguas
Semantic Determinism and Functional Logic Program Properties. Electron. Notes Theor. Comput. Sci. 174 (1) (2007)
José Miguel Cleva, Isabel Pita
Verification of CRWL Programs with Rewriting Logic. J. Univers. Comput. Sci. 12 (11) (2006)
José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas
A logic programming approach to the verification of functional-logic programs. PPDP (2004)