Report copyright - VERIFICATION OF PTIME REDUCIBILITY FOR SYSTEM F …perso.ens-lyon.fr/patrick.baillot/Publications/MESPAPIERS/infdlalLong.pdfcertain criteria: for instance primitive recursive programs
Please pass captcha verification before submit form