( en | de | ru )

 

Disambiguation of "Codognet, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Finite Domain Constraints in the ML Functional Language.

, , and . ICTAI, page 784-787. IEEE Computer Society, (1994)

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.

Christian Christian

Christian Winter

Gold-katalysierte Cycloisomerisierung funktionalisierter Allene und Anwendung in der Naturstoffsynthese. TU Dortmund, (2009)

Christian Helbig

Synthese und Charakterisierung von metallorganischen Bronzen. Uni Augsburg, (2009)

Christian Schüller

Automatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen. TU München, (2009)

Christian Hartmann

Effekte einer Defizienz für den Toll-like Rezeptor 2 auf den Reperfusionsschaden nach regionaler Ischämie im isolierten Mäuseherzen. Uni Frankfurt Main, (2010)
 

Other publications of authors with the same name

Yet Another Intelligent Backtracking Method., , and . ICLP/SLP, page 447-465. MIT Press, (1988)Guarded Constructive Disjunction: Angel or Demon?, and . CP, volume 976 of Lecture Notes in Computer Science, page 345-361. Springer, (1995)Finite Domain Constraints in the ML Functional Language., , and . ICTAI, page 784-787. IEEE Computer Society, (1994)Abstract Interpretation for Concurrent Logic Languages., , and . NACLP, page 215-232. MIT Press, (1990)Abduction and Concurrent Logic Languages., and . ECAI, page 75-79. John Wiley and Sons, Chichester, (1994)A Very Intelligent Backtracking Method for Logic Programs., , and . ESOP, volume 213 of Lecture Notes in Computer Science, page 315-326. Springer, (1986)A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation., and . Constraint Processing, Selected Papers, volume 923 of Lecture Notes in Computer Science, page 39-49. Springer, (1995)Sleepers: A Versatile High-Level Control Mechanism., , , and . PLILP, volume 844 of Lecture Notes in Computer Science, page 308-323. Springer, (1994)Backtracking intelligent en programmation logique., , and . SPLT, page 25-50. (1986)Abstract Interpretation from Prolog to Concurrent Prolog., , and . SPLT, page 351-370. (1990)