The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. Bacci, G., Comini, M., Feliú, M. A., & Villanueva, A. In Proceedings of ICLP (Technical Communications), pages 144-153, 2012.
![The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex
Paper bibtex @inproceedings{ dblp1592251,
title = {The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages},
author = {Giovanni Bacci and Marco Comini and Marco A. Feliú and Alicia Villanueva},
author_short = {Bacci, G. and Comini, M. and Feliú, M. A. and Villanueva, A.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp1592251},
id = {dblp1592251},
biburl = {http://www.dblp.org/rec/bibtex/conf/iclp/BacciCFV12},
url = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.144},
conference = {ICLP (Technical Communications)},
pages = {144-153},
text = {ICLP (Technical Communications) 2012:144-153},
booktitle = {Proceedings of ICLP (Technical Communications)}
}Downloads: 0
{"_id":{"_str":"52a870f59eb585cc26002b24"},"__v":0,"authorIDs":[],"author_short":["Bacci, G.","Comini, M.","Feliú, M. A.","Villanueva, A."],"bibbaseid":"bacci-comini-feli-villanueva-theadditionaldifficultiesfortheautomaticsynthesisofspecificationsposedbylogicfeaturesinfunctionallogiclanguages-2012","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp1592251\"> </a>The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages.</span>\n\t<span class=\"bibbase_paper_author\">\nBacci, G.; Comini, M.; Feliú, M. A.; and Villanueva, A.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2012</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of ICLP (Technical Communications)</i>, page 144-153, 2012.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('bacci-comini-feli-villanueva-theadditionaldifficultiesfortheautomaticsynthesisofspecificationsposedbylogicfeaturesinfunctionallogiclanguages-2012', 'http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.144')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.144\"\n onclick=\"javascript:log_download('bacci-comini-feli-villanueva-theadditionaldifficultiesfortheautomaticsynthesisofspecificationsposedbylogicfeaturesinfunctionallogiclanguages-2012', 'http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.144')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages [.144]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n \n <a href=\"javascript:showBib('dblp1592251')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_dblp1592251\"\n style=\"display:none\">\n <pre>@inproceedings{ dblp1592251,\n title = {The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages},\n author = {Giovanni Bacci and Marco Comini and Marco A. Feliú and Alicia Villanueva},\n author_short = {Bacci, G. and Comini, M. and Feliú, M. A. and Villanueva, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1592251},\n id = {dblp1592251},\n biburl = {http://www.dblp.org/rec/bibtex/conf/iclp/BacciCFV12},\n url = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.144},\n conference = {ICLP (Technical Communications)},\n pages = {144-153},\n text = {ICLP (Technical Communications) 2012:144-153},\n booktitle = {Proceedings of ICLP (Technical Communications)}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"bacci-comini-feli-villanueva-theadditionaldifficultiesfortheautomaticsynthesisofspecificationsposedbylogicfeaturesinfunctionallogiclanguages-2012","urls":{"Paper":"http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.144"},"role":"author","bibtex":"@inproceedings{ dblp1592251,\n title = {The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages},\n author = {Giovanni Bacci and Marco Comini and Marco A. Feliú and Alicia Villanueva},\n author_short = {Bacci, G. and Comini, M. and Feliú, M. A. and Villanueva, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1592251},\n id = {dblp1592251},\n biburl = {http://www.dblp.org/rec/bibtex/conf/iclp/BacciCFV12},\n url = {http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.144},\n conference = {ICLP (Technical Communications)},\n pages = {144-153},\n text = {ICLP (Technical Communications) 2012:144-153},\n booktitle = {Proceedings of ICLP (Technical Communications)}\n}","booktitle":"Proceedings of ICLP (Technical Communications)","text":"ICLP (Technical Communications) 2012:144-153","pages":"144-153","conference":"ICLP (Technical Communications)","url":"http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.144","biburl":"http://www.dblp.org/rec/bibtex/conf/iclp/BacciCFV12","id":"dblp1592251","key":"dblp1592251","year":"2012","type":"inproceedings","bibtype":"inproceedings","author_short":["Bacci, G.","Comini, M.","Feliú, M. A.","Villanueva, A."],"author":["Giovanni Bacci","Marco Comini","Marco A. Feliú","Alicia Villanueva"],"title":"The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/iclp/BacciCFV12","downloads":0,"search_terms":["additional","difficulties","automatic","synthesis","specifications","posed","logic","features","functional","logic","languages","bacci","comini","feliú","villanueva"],"title":"The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages","year":2012,"dataSources":["RCmXRoYznvsrxyWLG"]}