Report - Coherence of quasi-terminating decreasing 2-polygraphs · 2016. 9. 13. · Coherence of quasi-terminating decreasing 2-polygraphs PhilippeMalbos InstitutCamilleJordan,UniversitéClaudeBernardLyon1

Please pass captcha verification before submit form