( en | de | ru )

 

Disambiguation of "Sneyers, Jon"

Author of the publication

copydeleteadd this publication to your clipboard
Guard Reasoning in the Refined Operational Semantics of CHR.

, , and . Constraint Handling Rules, volume 5388 of 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. You can also use the button next to the name to display some publications already assigned to the person.

Jon Falk

Jón Jónasson

Jon Christensen

Jon Paunescu

Jon Vlad

 

Other publications of authors with the same name

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