%0 Conference Paper %1 conf/sebd/CalauttiGMT15 %A Calautti, Marco %A Greco, Sergio %A Molinaro, Cristian %A Trubitsyna, Irina %B SEBD %D 2015 %E Lembo, Domenico %E Torlone, Riccardo %E Marrella, Andrea %I Curran Associates, Inc. %K dblp %P 192-199 %T Checking Termination of Datalog with Function Symbols Through Linear Constraints. %U http://dblp.uni-trier.de/db/conf/sebd/sebd2015.html#CalauttiGMT15 %@ 978-1-5108-1087-7

@inproceedings{conf/sebd/CalauttiGMT15, added-at = {2016-01-18T00:00:00.000+0100}, author = {Calautti, Marco and Greco, Sergio and Molinaro, Cristian and Trubitsyna, Irina}, biburl = {https://www.bibsonomy.org/bibtex/242f5c5d806c427179e4cee258fcc8193/dblp}, booktitle = {SEBD}, crossref = {conf/sebd/2015}, editor = {Lembo, Domenico and Torlone, Riccardo and Marrella, Andrea}, interhash = {52b842f508eca83177968efdd1dd488e}, intrahash = {42f5c5d806c427179e4cee258fcc8193}, isbn = {978-1-5108-1087-7}, keywords = {dblp}, pages = {192-199}, publisher = {Curran Associates, Inc.}, timestamp = {2016-01-19T11:42:19.000+0100}, title = {Checking Termination of Datalog with Function Symbols Through Linear Constraints.}, url = {http://dblp.uni-trier.de/db/conf/sebd/sebd2015.html#CalauttiGMT15}, year = 2015 }