Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista - Model elimination - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-09-03 04:27:19		Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista Add to Reading List Source URL: people.rennes.inria.fr Download Document from Source Website File Size: 230,23 KB Share Document on Facebook