Special issue on computational logic in honour of Roy Dyckhoff. Journal of Logic and Computation. - Archive ouverte HAL
Ouvrages Année : 2014

Special issue on computational logic in honour of Roy Dyckhoff. Journal of Logic and Computation.

Didier Galmiche
  • Fonction : Directeur scientifique
  • PersonId : 746081
  • IdHAL : didier-galmiche
Logic, proof Theory and Programming
Stéphane Graham-Lengrand
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Proof search and reasoning with logic specifications

Domaines

Logique en informatique [cs.LO]

Stéphane Graham-Lengrand  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01094032

Soumis le : jeudi 11 décembre 2014-15:14:25

Dernière modification le : jeudi 1 août 2024-17:08:02

Fichier non déposé

Dates et versions

hal-01094032 , version 1 (11-12-2014)

Identifiants

  • HAL Id : hal-01094032 , version 1

Citer

Didier Galmiche, Stéphane Graham-Lengrand (Dir.). Special issue on computational logic in honour of Roy Dyckhoff. Journal of Logic and Computation.. Oxford University Press, 2014, D M Gabbay. ⟨hal-01094032⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO UNIV-LORRAINE INRIA2 LORIA
464 Consultations
0 Téléchargements

Partager

More