Termination of simply moded logic programs with dynamic scheduling - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus. Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log., 5(3):470-507, 2004. [doi]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL