Algebraic combinatorics - Document - PDFSEARCH.IO

First Page	Meta Content
	Formalizing Termination Proofs under Polynomial Quasi-interpretations Naohi Eguchi⋆ Department of Mathematics and Informatics, Faculty of Science Chiba University, Japan Add to Reading List Document Date: 2015-06-30 19:27:27 Open Document File Size: 83,69 KB Share Result on Facebook

UPDATE

Formalizing Termination Proofs under Polynomial Quasi-interpretations Naohi Eguchi⋆ Department of Mathematics and Informatics, Faculty of Science Chiba University, Japan Add to Reading List