The Preservation Properties of Positive Horn Logic Barnaby Martin Department of Computer Science, University of Durham, Durham DH1 3LE, UK. Florent Madelaine - Madelaine - Document - PDFSEARCH.IO

First Page	Meta Content
	The Preservation Properties of Positive Horn Logic Barnaby Martin Department of Computer Science, University of Durham, Durham DH1 3LE, UK. Florent Madelaine Add to Reading List Document Date: 2009-11-05 08:17:18 Open Document File Size: 211,24 KB Share Result on Facebook

The Preservation Properties of Positive Horn Logic Barnaby Martin Department of Computer Science, University of Durham, Durham DH1 3LE, UK. Florent MadelaineAdd to Reading List