%0 Conference Paper %1 conf/ruleml/CalauttiGMT14 %A Calautti, Marco %A Greco, Sergio %A Molinaro, Cristian %A Trubitsyna, Irina %B RuleML %D 2014 %E Bikakis, Antonis %E Fodor, Paul %E Roman, Dumitru %I Springer %K dblp %P 97-111 %T Checking Termination of Logic Programs with Function Symbols through Linear Constraints. %U http://dblp.uni-trier.de/db/conf/ruleml/ruleml2014.html#CalauttiGMT14 %V 8620 %@ 978-3-319-09869-2

@inproceedings{conf/ruleml/CalauttiGMT14, added-at = {2021-10-14T00:00:00.000+0200}, author = {Calautti, Marco and Greco, Sergio and Molinaro, Cristian and Trubitsyna, Irina}, biburl = {https://www.bibsonomy.org/bibtex/26642325cf53ecefbf150a9f5b4fd8ee4/dblp}, booktitle = {RuleML}, crossref = {conf/ruleml/2014}, editor = {Bikakis, Antonis and Fodor, Paul and Roman, Dumitru}, ee = {https://www.wikidata.org/entity/Q62047397}, interhash = {dd7f605ae61bbd076e63bd42dafa82f0}, intrahash = {6642325cf53ecefbf150a9f5b4fd8ee4}, isbn = {978-3-319-09869-2}, keywords = {dblp}, pages = {97-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T10:27:32.000+0200}, title = {Checking Termination of Logic Programs with Function Symbols through Linear Constraints.}, url = {http://dblp.uni-trier.de/db/conf/ruleml/ruleml2014.html#CalauttiGMT14}, volume = 8620, year = 2014 }