Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	José Miguel
Last name:	Cleva
DBLP:	33/5906
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 3 of 3  

Select a publication
Show	Title	Venue	Rating	Date
	José Miguel Cleva, Francisco Javier López-Fraguas. Semantic Determinism and Functional Logic Program Properties.	Electr. Notes Theor. Comput. Sci. 2007, Volume 174	(0)	2007
	José Miguel Cleva, Isabel Pita. Verification of CRWL Programs with Rewriting Logic.	J. UCS 2006, Volume 12	(0)	2006
	José Miguel Cleva, Javier Leach Albert, Francisco Javier López-Fraguas. A logic programming approach to the verification of functional-logic programs.	Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy 2004	(0)	2004

Your query returned 3 matches in the database.