Gregory Duck
From MaRDI portal
Person:2863873
Available identifiers
zbMath Open duck.gregory-jMaRDI QIDQ2863873
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 | 2018-12-04 | Paper |
| On termination, confluence and consistent CHR-based type inference | 2014-11-25 | Paper |
| Automatic implication checking for CHR constraints | 2013-12-04 | Paper |
| SMCHR: satisfiability modulo constraint handling rules | 2013-03-13 | Paper |
| Demand-Driven Normalisation for ACD Term Rewriting | 2009-07-24 | Paper |
| Observable Confluence for Constraint Handling Rules | 2009-03-05 | Paper |
| Cadmium: An Implementation of ACD Term Rewriting | 2009-01-22 | Paper |
| ACD Term Rewriting | 2008-03-11 | Paper |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Understanding functional dependencies via constraint handling rules | 2007-02-07 | Paper |
| Optimizing compilation of constraint handling rules in HAL | 2005-10-18 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Logic Programming | 2005-08-26 | Paper |
This page was built for person: Gregory Duck
