%0 Conference Paper %1 conf/iclp/GrecoST12 %A Greco, Sergio %A Spezzano, Francesca %A Trubitsyna, Irina %B ICLP (Technical Communications) %D 2012 %E Dovier, Agostino %E Costa, Vítor Santos %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 323-333 %T On the Termination of Logic Programs with Function Symbols. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#GrecoST12 %V 17 %@ 978-3-939897-43-9

@inproceedings{conf/iclp/GrecoST12, added-at = {2021-10-14T00:00:00.000+0200}, author = {Greco, Sergio and Spezzano, Francesca and Trubitsyna, Irina}, biburl = {https://www.bibsonomy.org/bibtex/2e8bf2bdd1fe5433a8db0c257e0e56380/dblp}, booktitle = {ICLP (Technical Communications)}, crossref = {conf/iclp/2012}, editor = {Dovier, Agostino and Costa, Vítor Santos}, ee = {https://doi.org/10.4230/LIPIcs.ICLP.2012.323}, interhash = {280f5b48a10506577e42a0022e5fc7de}, intrahash = {e8bf2bdd1fe5433a8db0c257e0e56380}, isbn = {978-3-939897-43-9}, keywords = {dblp}, pages = {323-333}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:18:55.000+0200}, title = {On the Termination of Logic Programs with Function Symbols.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#GrecoST12}, volume = 17, year = 2012 }