Author/Creator: DUCK, GREGORY J. - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator DUCK, GREGORY J.

1. On Termination, Confluence and Consistent CHR-based Type Inference. Issue 4 (21st July 2014)

Authors:: DUCK, GREGORY J.; HAEMMERLÉ, RÉMY; SULZMANN, MARTIN; Leuschel, Michael; Schrijvers, Tom
Journal:: Theory and practice of logic programming
Issue:: Volume 14:Issue 4/5(2014)
Page Start:: 619
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Shape Neutral Analysis of Graph-based Data-structures. Issue 3 (10th August 2018)

Authors:: DUCK, GREGORY J.; JAFFAR, JOXAN; YAP, ROLAND H. C.
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 470
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗