SYGRAF

swMATH21247MaRDI QIDQ33058FDOQ33058

Author name not available (Why is that?)

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