JAVIER
LEACH ALBERT
Chercheur jusqu' 2012
FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Publications dans lesquelles il/elle collabore avec FRANCISCO JAVIER LÓPEZ FRAGUAS (1)
2004
-
A logic programming approach to the verification of functional-logic programs
Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04