Author:
Bistarelli S.,Codognet P.,Georget Y.,Rossi F.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. G. Birkhoff and S. MacLane. A Survey of Modern Algebra. MacMillan, 1965.
2. Lect Notes Comput Sci;S. Bistarelli,1996
3. S. Bistarelli, U. Montanari, and F. Rossi. Constraint Solving over Semirings. In Proc. IJCAI95. Morgan Kaufman, 1995.
4. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of the ACM, 44(2):201–236, March 1997.
5. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Fourth ACM Symp. Principles of Programming Languages, pages 238–252, 1977.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献