You are here

Publications

Export 33 results:
Filters: Author is Alicia Villanueva  [Clear All Filters]
2012
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages, ICLP (Technical Communications), vol. To appear. Schloss Dagstuhl - Leibniz-Zentrum Fuer Informatik, 2012.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages, Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 2012.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., Automatic Synthesis of Specifications for First Order Curry Programs, Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, NY, USA, pp. 25–34, 2012.

Pages