Daniel Diaz. Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD). (Study of the Compilation of Contraint Logic Programming Languages over Finite Domains: the clp(FD) system). PhD thesis, University of Orléans, France, 1995. [doi]
@phdthesis{hal-4015, title = {Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD). (Study of the Compilation of Contraint Logic Programming Languages over Finite Domains: the clp(FD) system)}, author = {Daniel Diaz}, year = {1995}, url = {https://tel.archives-ouvertes.fr/tel-00981853}, researchr = {https://researchr.org/publication/hal-4015}, cites = {0}, citedby = {0}, school = {University of Orléans, France}, }