Compilative Constructive Negation in Constraint Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo. Compilative Constructive Negation in Constraint Logic Programs. In Sophie Tison, editor, Trees in Algebra and Programming - CAAP 94, 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994, Proceedings. Volume 787 of Lecture Notes in Computer Science, pages 52-67, Springer, 1994.

This author has not been identified. Look up 'Paola Bruscoli' in GoogleThis author has not been identified. Look up 'Francesca Levi' in GoogleThis author has not been identified. Look up 'Giorgio Levi' in GoogleThis author has not been identified. Look up 'Maria Chiara Meo' in Google

runs on WebDSL