×

zbMATH — the first resource for mathematics

De Koninck, Leslie

Compute Distance To:
Author ID: de-koninck.leslie Recent zbMATH articles by "De Koninck, Leslie"
Published as: De Koninck, Leslie; de Koninck, Leslie
Documents Indexed: 8 Publications since 2007

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 22 times in 21 Documents Cited by Year
As time goes by: constraint handling rules. Zbl 1186.68096
Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie
14
2010
Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137
Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.
3
2008
The correspondence between the logical algorithms language and CHR. Zbl 1213.68175
De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart
2
2007
Freight train threading with different algorithms. Zbl 06605770
Senthooran, Ilankaikone; Wallace, Mark; De Koninck, Leslie
1
2015
Logical algorithms meets CHR: A meta-complexity result for constraint handling rules with rule priorities. Zbl 1166.68312
de Koninck, Leslie
1
2009
A flexible search framework for CHR. Zbl 1229.68018
De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart
1
2008
Freight train threading with different algorithms. Zbl 06605770
Senthooran, Ilankaikone; Wallace, Mark; De Koninck, Leslie
1
2015
As time goes by: constraint handling rules. Zbl 1186.68096
Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie
14
2010
Logical algorithms meets CHR: A meta-complexity result for constraint handling rules with rule priorities. Zbl 1166.68312
de Koninck, Leslie
1
2009
Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137
Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.
3
2008
A flexible search framework for CHR. Zbl 1229.68018
De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart
1
2008
The correspondence between the logical algorithms language and CHR. Zbl 1213.68175
De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart
2
2007

Citations by Year