Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UK - United States Deputy Attorney General - Document - PDFSEARCH.IO

First Page	Meta Content
	Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UK Add to Reading List Document Date: 2015-09-04 10:24:56 Open Document File Size: 320,52 KB Share Result on Facebook

Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UK Add to Reading List