Linear Equational Tree Logic Linear Equational Dag Logic An Equational Logic for PROPs Gordon Plotkin Laboratory for the Foundations of Computer Science, School of Informatics, - Gordon - Document - PDFSEARCH.IO

First Page	Meta Content
	Linear Equational Tree Logic Linear Equational Dag Logic An Equational Logic for PROPs Gordon Plotkin Laboratory for the Foundations of Computer Science, School of Informatics, Add to Reading List Document Date: 2013-09-20 10:00:30 Open Document File Size: 591,08 KB Share Result on Facebook

Linear Equational Tree Logic Linear Equational Dag Logic An Equational Logic for PROPs Gordon Plotkin Laboratory for the Foundations of Computer Science, School of Informatics,Add to Reading List