First Page | Document Content | |
---|---|---|
Date: 2017-08-18 10:22:20 | Removing Cycles from Proofs∗. Andrea Aler Tubella1 , Alessio Guglielmi2 , and Benjamin Ralph3 1 IRIF, CNRS et Université Paris Diderot, Paris, FranceAdd to Reading ListSource URL: cs.bath.ac.ukDownload Document from Source WebsiteFile Size: 562,30 KBShare Document on Facebook |