Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

First Page		Document Content
Date: 2014-02-23 03:34:16		Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference Add to Reading List Source URL: www.home.hs-karlsruhe.de Download Document from Source Website File Size: 266,95 KB Share Document on Facebook