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

First Page	Meta Content
	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 Document Date: 2014-02-23 03:34:16 Open Document File Size: 266,95 KB Share Result on Facebook

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