Author of the publication

How to build quickly an efficient implementation of the domain Prop with DyALog.

, and . LPE, page 33-38. IRISA, Campus de Beaulieu, France, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

How to build quickly an efficient implementation of the domain Prop with DyALog., and . LPE, page 33-38. IRISA, Campus de Beaulieu, France, (1993)How to build quickly an efficient implementation of the domain Prop with DyALog., and . LPE, page 33-38. IRISA, Campus de Beaulieu, France, (1993)Polarized emission from GaN/AlN quantum dots: Single-dot spectroscopy and symmetry-based theory, , , , , , , and . Phys.~Rev.~B, 77 (23): 235315 (2008)Comparison of strong coupling regimes in bulk GaAs, GaN, and ZnO semiconductor microcavities, , , , and . Physical Review B (Condensed Matter and Materials Physics), 78 (23): 235323 (2008)Positive feedbacks in the fire dynamic of closed canopy tropical forests, , , , , , and . Science, (1999)Une méthode et un algorithme pour compléter et abstraire une spécification orientée-objets., , and . LMO, page 79-94. Hermès, (1997)Presence of pKa Perturbations Among Homeodomain Residues Facilitates DNA Binding., and . BIOCOMP, page 198-203. CSREA Press, (2009)Molecular modelling insights into DFNA15 mediated enhancement of POU4F3 stability., and . Int. J. Comput. Biol. Drug Des., 1 (3): 295-301 (2008)Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming., , and . CP, volume 6876 of Lecture Notes in Computer Science, page 42-53. Springer, (2011)