.:. Consultation > Liste par auteurs > Aschieri .:.

3 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Eliminating Skolem Functions in Peano Arithmetic with Interactive Realizability Aschieri F., Zorzi M. Research report (2012) [hal-00690270 - version 1]

Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms Aschieri F. Research report (2012) [hal-00685360 - version 2]

Interactive Realizability for Second-Order Heyting Arithmetic with EM1 and SK1 Aschieri F. [hal-00657054 - version 2] (05/03/2012)