Author:
Ruggieri Salvatore,Mesnard Fred
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, Englewood Cliffs (1997)
2. Baker, N., Søndegaard, H.: Definiteness analysis for CLP( ${\cal R}$ ). In: Gupta, G., et al. (eds.) Australian Computer Science Conference, pp. 321–332 (1993)
3. Chernikova, N.V.: An algorithm for finding the general formula for non-negative solutions of systems of linear inequalities. U.S.S.R. Computational Mathematics and Mathematical Physics 5, 228–233 (1965)
4. Lecture Notes in Computer Science;M. Codish,2001
5. de la Banda, M.G., Hermenegildo, M., Bruynooghe, M., Dumortier, V., Janssens, G., Simoens, W.: Global analysis of constraint logic programs. ACM Transactions on Programming Languages and Systems 18(5), 564–614 (1996)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Typing linear constraints;ACM Transactions on Programming Languages and Systems;2010-08