Original language | English |
---|---|
Pages (from-to) | 719-751 |
Journal | Theory and Practice of Logic Programming |
Volume | 4 |
Issue number | 5-6 |
DOIs | |
Publication status | Published - 2004 |
Inference of termination conditions for numerical loops in Prolog
A. Serebrenik, D. De Schreye
Research output: Contribution to journal › Article › Academic › peer-review
7
Citations
(Scopus)