You are here

Publications

Export 1 results:
Filters: Keyword is semantics-based inference methods and Author is Marco Antonio Feliú  [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, Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 2012.