Alexander Serebrenik, Danny De Schreye. On Termination of Logic Programs with Floating Point Computations. In Manuel V. Hermenegildo, Germán Puebla, editors, Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Volume 2477 of Lecture Notes in Computer Science, pages 151-164, Springer, 2002. [doi]
@inproceedings{SerebrenikS02,
title = {On Termination of Logic Programs with Floating Point Computations},
author = {Alexander Serebrenik and Danny De Schreye},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2477/24770151.htm},
tags = {termination, logic programming, logic},
researchr = {https://researchr.org/publication/SerebrenikS02},
cites = {0},
citedby = {0},
pages = {151-164},
booktitle = {Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings},
editor = {Manuel V. Hermenegildo and Germán Puebla},
volume = {2477},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-44235-9},
}