Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

4 résultats

	Pour les 4 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Constraint Retraction in FD Philippe Codognet , Daniel Diaz , Francesca Rossi Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨10.1023/A:1009893626769⟩ Communication dans un congrès istex hal-00668318v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD) Daniel Diaz Informatique et langage [cs.CL]. Université d'Orléans, 1995. Français. ⟨NNT : ⟩ Thèse tel-00981853v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Compiling Constraints in clp(FD) Philippe Codognet , Daniel Diaz Journal of Logic Programming, 1996, 27 (3), pp.185-226 Article dans une revue hal-00693245v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Simple and Efficient Boolean Solver for Constraint Logic Programming Philippe Codognet , Daniel Diaz Journal of Automated Reasoning, 1996, 17 (1), pp.97-129 Article dans une revue hal-00693251v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats