Complutense Group on Program Analyis and Transformation
COSTA
Oakland University
Rochester, Estados UnidosPublicacions en col·laboració amb investigadors/es de Oakland University (1)
2006
-
Detecting determinacy in prolog programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)