Gregory J. Duck
From MaRDI portal
Person:2863873
Available identifiers
zbMath Open duck.gregory-jMaRDI QIDQ2863873
List of research outcomes
| 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 |
| https://portal.mardi4nfdi.de/entity/Q2863874 | 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 |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Gregory J. Duck
