Publicaciones en colaboración con investigadores/as de University of Kent (3)

2008

  1. Inferring non-suspension conditions for logic programs with dynamic scheduling

    ACM Transactions on Computational Logic, Vol. 9, Núm. 3

2006

  1. Detecting determinacy in prolog programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2001

  1. Worst-case groundness analysis using definite Boolean functions

    Theory and Practice of Logic Programming, Vol. 1, Núm. 5, pp. 611-615