1996
Prime factorizations of abstract domains using first-order logic
Publication
Publication
Presented at the
International Conference on Algebraic and Logic Programming, Aachen
Additional Metadata | |
---|---|
, , , , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Algebraic and Logic Programming | |
Marchiori, E. (1996). Prime factorizations of abstract domains using first-order logic. In Algebraic and Logic Programming (pp. 209–223). Springer. |