Une sémantique co-inductive pour la propagation de contraintes et de labeling - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Julien Arsouze, Gérard Ferrand, Arnaud Lallouet. Une sémantique co-inductive pour la propagation de contraintes et de labeling. In Touraïvane, editor, Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France. pages 17-32, Hermes, 2000.

This author has not been identified. Look up 'Julien Arsouze' in GoogleThis author has not been identified. Look up 'Gérard Ferrand' in GoogleThis author has not been identified. Look up 'Arnaud Lallouet' in Google

runs on WebDSL