( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Guard Reasoning in the Refined Operational Semantics of CHR.

, , и . Constraint Handling Rules, том 5388 из Lecture Notes in Computer Science, Springer, (2008)

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.

Jon Vlad

Jon Paunescu

Jon Fimian

Jón Jónasson

Jon Christensen

 

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

Aggregates for CHR through Program Transformation., , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 59-73. Springer, (2007)Optimizing Compilation and Computational Complexity of Constraint Handling Rules.. ICLP, том 5649 из Lecture Notes in Computer Science, стр. 494-498. Springer, (2009)Guard Reasoning in the Refined Operational Semantics of CHR., , и . Constraint Handling Rules, том 5388 из Lecture Notes in Computer Science, Springer, (2008)Turing-Complete Subclasses of CHR.. ICLP, том 5366 из Lecture Notes in Computer Science, стр. 759-763. Springer, (2008)Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise., , и . ICLP (Technical Communications), том 11 из LIPIcs, стр. 231-239. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)FLIF: Free lossless image format based on MANIAC compression., и . ICIP, стр. 66-70. IEEE, (2016)Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR., , и . WLP, том 1843-06-02 из INFSYS Research Report, стр. 182-191. Technische Universität Wien, Austria, (2006)Committee Draft of JPEG XL Image Coding System., , , , , , , , , и 8 other автор(ы). CoRR, (2019)Memory Reuse for CHR., , и . ICLP, том 4079 из Lecture Notes in Computer Science, стр. 72-86. Springer, (2006)Analysis and Optimization of CHR Programs.. ICLP, том 3668 из Lecture Notes in Computer Science, стр. 450-451. Springer, (2005)