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)

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},
}