Classical and intuitionistic logic are asymptotically identical - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Classical and intuitionistic logic are asymptotically identical

Hervé Fournier
  • Fonction : Auteur
  • PersonId : 843047
Parallélisme, Réseaux, Systèmes, Modélisation
Danièle Gardy
Parallélisme, Réseaux, Systèmes, Modélisation
Antoine Genitrini
  • Fonction : Auteur
  • PersonId : 881263
Parallélisme, Réseaux, Systèmes, Modélisation
Marek Zaionc
  • Fonction : Auteur
  • PersonId : 859240
Theoretical Computer Science Department [Krakow]

Domaines

Algorithme et structure de données [cs.DS] Logique en informatique [cs.LO]

Antoine Genitrini  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00530534

Soumis le : vendredi 29 octobre 2010-11:01:45

Dernière modification le : vendredi 24 mars 2023-14:52:53

Fichier non déposé

Dates et versions

hal-00530534 , version 1 (29-10-2010)

Identifiants

  • HAL Id : hal-00530534 , version 1

Citer

Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc. Classical and intuitionistic logic are asymptotically identical. 16th Annual Conference on Computer Science Logic, 2007, Lausanne, Switzerland. pp.177-193. ⟨hal-00530534⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UVSQ
46 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More