×

zbMATH — the first resource for mathematics

Duck, Gregory J.

Compute Distance To:
Author ID: duck.gregory-j Recent zbMATH articles by "Duck, Gregory J."
Published as: Duck, Gregory; Duck, Gregory J.
Documents Indexed: 13 Publications since 2004

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 50 times in 42 Documents Cited by Year
The refined operational semantics of constraint handling rules. Zbl 1104.68359
Duck, Gregory J.; Stuckey, Peter J.; García de la Banda, María; Holzbaur, Christian
19
2004
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
10
2007
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
6
2007
Optimizing compilation of constraint handling rules in HAL. Zbl 1104.68010
Holzbaur, Christian; Garcia de la Banda, Maria; Stuckey, Peter J.; Duck, Gregory J.
5
2005
ACD term rewriting. Zbl 1131.68374
Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian
4
2006
Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137
Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.
3
2008
SMCHR: satisfiability modulo constraint handling rules. Zbl 1260.68059
Duck, Gregory J.
1
2012
Automatic implication checking for CHR constraints. Zbl 1276.68043
Schrijvers, Tom; Demoen, Bart; Duck, Gregory; Stuckey, Peter; Frühwirth, Thom
1
2006
Sound and decidable type inference for functional dependencies. Zbl 1126.68331
Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.; Sulzmann, Martin
1
2004
SMCHR: satisfiability modulo constraint handling rules. Zbl 1260.68059
Duck, Gregory J.
1
2012
Cadmium: an implementation of ACD term rewriting. Zbl 1185.68137
Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.
3
2008
Understanding functional dependencies via constraint handling rules. Zbl 1107.68031
Sulzmann, Martin; Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.
10
2007
Observable confluence for constraint handling rules. Zbl 1213.68161
Duck, Gregory J.; Stuckey, Peter J.; Sulzmann, Martin
6
2007
ACD term rewriting. Zbl 1131.68374
Duck, Gregory J.; Stuckey, Peter J.; Brand, Sebastian
4
2006
Automatic implication checking for CHR constraints. Zbl 1276.68043
Schrijvers, Tom; Demoen, Bart; Duck, Gregory; Stuckey, Peter; Frühwirth, Thom
1
2006
Optimizing compilation of constraint handling rules in HAL. Zbl 1104.68010
Holzbaur, Christian; Garcia de la Banda, Maria; Stuckey, Peter J.; Duck, Gregory J.
5
2005
The refined operational semantics of constraint handling rules. Zbl 1104.68359
Duck, Gregory J.; Stuckey, Peter J.; García de la Banda, María; Holzbaur, Christian
19
2004
Sound and decidable type inference for functional dependencies. Zbl 1126.68331
Duck, Gregory J.; Peyton-Jones, Simon; Stuckey, Peter J.; Sulzmann, Martin
1
2004

Citations by Year