Using linear constraints for logic program termination analysis.
Saved in:
| Title: | Using linear constraints for logic program termination analysis. |
|---|---|
| Authors: | CALAUTTI, MARCO1, GRECO, SERGIO1, MOLINARO, CRISTIAN1, TRUBITSYNA, IRINA1 |
| Source: | Theory & Practice of Logic Programming. May2016, Vol. 16 Issue 3, p353-377. 25p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
