On Partial Validation of Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sébastien Limet, Frédéric Saubion. On Partial Validation of Logic Programs. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings. Volume 1349 of Lecture Notes in Computer Science, pages 365-379, Springer, 1997.

This author has not been identified. Look up 'Sébastien Limet' in GoogleThis author has not been identified. Look up 'Frédéric Saubion' in Google

runs on WebDSL