Labelled Deductive Systems joint work with David Basin and Se´ an Matthews (and others) Luca Vigan` o - Work It - Document - PDFSEARCH.IO

First Page	Meta Content
	Labelled Deductive Systems joint work with David Basin and Se´ an Matthews (and others) Luca Vigan` o Add to Reading List Document Date: 2007-01-13 07:59:19 Open Document File Size: 742,53 KB Share Result on Facebook

Labelled Deductive Systems joint work with David Basin and Se´ an Matthews (and others) Luca Vigan` oAdd to Reading List