List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Shape neutral analysis of graph-based data-structures Theory and Practice of Logic Programming | 2018-12-04 | Paper |
| On termination, confluence and consistent CHR-based type inference Theory and Practice of Logic Programming | 2014-11-25 | Paper |
| Automatic implication checking for CHR constraints | 2013-12-04 | Paper |
| SMCHR: satisfiability modulo constraint handling rules Theory and Practice of Logic Programming | 2013-03-13 | Paper |
| Demand-Driven Normalisation for ACD Term Rewriting Logic Programming | 2009-07-24 | Paper |
| Observable Confluence for Constraint Handling Rules Logic Programming | 2009-03-05 | Paper |
| Cadmium: An Implementation of ACD Term Rewriting Logic Programming | 2009-01-22 | Paper |
| ACD Term Rewriting Logic Programming | 2008-03-11 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-09-28 | Paper |
| Understanding functional dependencies via constraint handling rules Journal of Functional Programming | 2007-02-07 | Paper |
| Optimizing compilation of constraint handling rules in HAL Theory and Practice of Logic Programming | 2005-10-18 | Paper |
| Logic Programming Lecture Notes in Computer Science | 2005-08-26 | Paper |
| Logic Programming Lecture Notes in Computer Science | 2005-08-26 | Paper |
Research outcomes over time
This page was built for person: Gregory Duck
