( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CLP projection for constraint handling rules.

, , и . PPDP, стр. 137-148. ACM, (2011)

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.

Rémy Gassilloud

Rémy Frenoy

Rémy Pottier

Rémy Choquet

Rémy Apfelbacher

 

Другие публикации лиц с тем же именем

Modular Extensions for Modular (Logic) Languages., , и . LOPSTR, том 7225 из Lecture Notes in Computer Science, стр. 139-154. Springer, (2011)Observational equivalences for linear logic CC languages. CoRR, (2011)An Overview of the Ciao System., , , , , , , и . RuleML Europe, том 6826 из Lecture Notes in Computer Science, стр. 2. Springer, (2011)Modules for Prolog Revisited., и . ICLP, том 4079 из Lecture Notes in Computer Science, стр. 41-55. Springer, (2006)On Combining Backward and Forward Chaining in Constraint Logic Programming.. PPDP, стр. 213-224. ACM, (2014)On Termination, Confluence and Consistent CHR-based Type Inference., , и . Theory Pract. Log. Program., 14 (4-5): 619-632 (2014)Lightweight compilation of (C)LP to JavaScript., , , и . Theory Pract. Log. Program., 12 (4-5): 755-773 (2012)A Transformational Approach to Parametric Accumulated-Cost Static Profiling., , , , , и . FLOPS, том 9613 из Lecture Notes in Computer Science, стр. 163-180. Springer, (2016)Proceedings of the Eleventh Workshop on Constraint Handling Rules., и . CoRR, (2014)(Co-)Inductive semantics for Constraint Handling Rules.. Theory Pract. Log. Program., 11 (4-5): 593-609 (2011)