SAMIR
GENAIM
Profesor contratado doctor
University of Melbourne
Melbourne, AustraliaPublicaciones en colaboración con investigadores/as de University of Melbourne (3)
2009
-
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
-
Combining norms to prove termination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
Higher-precision groundness analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)