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

2009

  1. A declarative encoding of telecommunications feature subscription in SAT

    PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

2002

  1. Combining norms to prove termination

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

2001

  1. Higher-precision groundness analysis

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