Banda Vera, María Jose
37  Ergebnisse:
Personensuche X
?
3

Analyzing logic programs with dynamic scheduling:

, In: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
 
?
9

A CLP heap solver for test case generation:

ALBERT, ELVIRA ; DE LA BANDA, MARÍA GARCÍA ; GÓMEZ-ZAMALLOA, MIGUEL..
Theory and Practice of Logic Programming.  13 (2013)  4-5 - p. 721-735 , 2013
 
1-15