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 proofassistaAdd to Reading ListSource URL: people.rennes.inria.frDownload Document from Source WebsiteFile Size: 230,23 KBShare Document on Facebook |