Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2016

Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation

Didier Galmiche
Logic, Proof Theory and Programming
Stéphane Graham-Lengrand
Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Domaines

Logique en informatique [cs.LO]

Didier Galmiche  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01263202

Soumis le : mercredi 27 janvier 2016-15:08:20

Dernière modification le : lundi 11 septembre 2023-17:41:19

Fichier non déposé

Dates et versions

hal-01263202 , version 1 (27-01-2016)

Identifiants

Citer

Didier Galmiche, Stéphane Graham-Lengrand. Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation . Oxford University Press (OUP), 26 (2), 2016, ⟨10.1093/logcom/exu039⟩. ⟨hal-01263202⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO UNIV-LORRAINE LORIA LORIA-FM UNIV-PARIS-SACLAY
150 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More