From post

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.

 

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

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)(Co-)Inductive semantics for Constraint Handling Rules.. Theory Pract. Log. Program., 11 (4-5): 593-609 (2011)Diagrammatic confluence for Constraint Handling Rules.. Theory Pract. Log. Program., 12 (4-5): 737-753 (2012)Observational equivalences for linear logic concurrent constraint languages.. Theory Pract. Log. Program., 11 (4-5): 469-485 (2011)Proceedings of the Eleventh Workshop on Constraint Handling Rules., и . CoRR, (2014)Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)., и . CoRR, (2013)Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015., , , , , , , , , и 12 other автор(ы). CoRR, (2015)CLP projection for constraint handling rules., , и . PPDP, стр. 137-148. ACM, (2011)