SYGRAF

MaRDI QIDQ33058swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=52530

Cited in

(3)

• Efficient bottom-up execution of logic programs using abstract interpretation
• Combinations of abstract domains for logic programming: Open product and generic pattern construction
• Parallelism in logic programs

This page was built for software: SYGRAF