受强制性开放获取政策约束的文章 - Jon Sneyers了解详情
可在其他位置公开访问的文章：10 篇
FLIF: Free lossless image format based on MANIAC compression
J Sneyers, P Wuille
2016 IEEE international conference on image processing (ICIP), 66-70, 2016
强制性开放获取政策： Research Foundation (Flanders)
The computational power and complexity of Constraint Handling Rules
J Sneyers, T Schrijvers, B Demoen
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (2), 1-42, 2009
强制性开放获取政策： Research Foundation (Flanders)
As time goes by: constraint handling rules: a survey of CHR research from 1998 to 2007
J Sneyers, P Van Weert, T Schrijvers, L De Koninck
Theory and practice of logic programming 10 (1), 1-47, 2010
强制性开放获取政策： Research Foundation (Flanders)
Turing-complete subclasses of CHR
J Sneyers
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
强制性开放获取政策： Research Foundation (Flanders)
Aggregates for CHR through program transformation
P Van Weert, J Sneyers, B Demoen
Logic-Based Program Synthesis and Transformation: 17th International …, 2008
强制性开放获取政策： Research Foundation (Flanders)
Optimizing Compilation and Computational Complexity of Constraint Handling Rules: Ph. D. Thesis Summary
J Sneyers
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
强制性开放获取政策： Research Foundation (Flanders)
Aggregates in constraint handling rules
J Sneyers, P Van Weert, T Schrijvers, B Demoen
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
强制性开放获取政策： Research Foundation (Flanders)
Probabilistic termination of CHRiSM programs
J Sneyers, D De Schreye
Logic-Based Program Synthesis and Transformation: 21st International …, 2012
强制性开放获取政策： Research Foundation (Flanders)
Guard reasoning in the refined operational semantics of CHR
J Sneyers, T Schrijvers, B Demoen
Constraint Handling Rules: Current Research Topics, 213-244, 2008
强制性开放获取政策： Research Foundation (Flanders)
A Proposal for a Next Generation of CHR
P Van Weert, L De Koninck, J Sneyers, F Raiser
Proceedings of the sixth Workshop on Constraint Handling Rules, 1-17, 2009
强制性开放获取政策： Research Foundation (Flanders)
出版信息和资助信息由计算机程序自动确定