%0 Thesis %1 phd/hal/Martinez15 %A Martinez, Thierry %D 2015 %K dblp %T Execution models for Constraint Programming: kernel language design through semantics equivalence. . (Modèles d'exe'cution pour la programmation par contraintes : conception d'un langage noyau par le biais d'e'quivalences se'mantiques).

@phdthesis{phd/hal/Martinez15, added-at = {2020-07-21T00:00:00.000+0200}, author = {Martinez, Thierry}, biburl = {https://www.bibsonomy.org/bibtex/281756ee73cabaffadefee51abaeb85de/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01251695}, interhash = {301960fcabda9ce1f219afc3a2b9a08b}, intrahash = {81756ee73cabaffadefee51abaeb85de}, keywords = {dblp}, school = {Paris Diderot University, France}, timestamp = {2020-07-24T00:54:47.000+0200}, title = {Execution models for Constraint Programming: kernel language design through semantics equivalence. . (Modèles d'exe'cution pour la programmation par contraintes : conception d'un langage noyau par le biais d'e'quivalences se'mantiques).}, year = 2015 }