PREUVES, PROGRAMMES et SYSTÈMES
Consultation
Liste des articles
Liste par année
Liste par domaine
Liste par auteurs
Rechercher
302 articles – 345 Notices
[english version]
.:.
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)