A Real Implementation for Constructive Negation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Susana Muñoz-Hernández, Juan José Moreno-Navarro. A Real Implementation for Constructive Negation. In Catuscia Palamidessi, editor, Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings. Volume 2916 of Lecture Notes in Computer Science, pages 496-497, Springer, 2003. [doi]

This author has not been identified. Look up 'Susana Muñoz-Hernández' in GoogleThis author has not been identified. Look up 'Juan José Moreno-Navarro' in Google

runs on WebDSL