SYGRAF
From MaRDI portal
Software:33058
No author found.
Related Items (3)
Parallelism in logic programs ⋮ Efficient bottom-up execution of logic programs using abstract interpretation ⋮ Combinations of abstract domains for logic programming: Open product and generic pattern construction
This page was built for software: SYGRAF
