Inference of termination conditions for numerical loops in Prolog

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	719-751
Journal	Theory and Practice of Logic Programming
Volume	4
Issue number	5-6
DOIs	https://doi.org/10.1017/S1471068404002042
Publication status	Published - 2004

Access to Document

@article{3fc9cfa0cdbf4b61a12618a483d310c8,

title = "Inference of termination conditions for numerical loops in Prolog",

author = "A. Serebrenik and {De Schreye}, D.",

year = "2004",

doi = "10.1017/S1471068404002042",

language = "English",

volume = "4",

pages = "719--751",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "5-6",

}