A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday - Archive ouverte HAL
N°Spécial De Revue/Special Issue Mathematical Structures in Computer Science Année : 2019

A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday

David Baelde
  • Fonction : Directeur de publication
  • PersonId : 968472
Laboratoire Spécification et Vérification
Amy Felty
  • Fonction : Directeur de publication
  • PersonId : 955505
School of Electrical Engineering and Computer Science
Gopalan Nadathur
  • Fonction : Directeur de publication
Department of Computer Science and Engineering [Minneapolis]
Alexis Saurin
Institut de Recherche en Informatique Fondamentale
Design, study and implementation of languages for proofs and programs

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
preface-DaleFest.pdf (58.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Alexis Saurin  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02408211

Soumis le : vendredi 8 janvier 2021-10:19:00

Dernière modification le : vendredi 8 novembre 2024-15:20:02

Archivage à long terme le : vendredi 9 avril 2021-18:30:13

Télécharger pour visualiser

Dates et versions

hal-02408211 , version 1 (08-01-2021)

Identifiants

Citer

David Baelde, Amy Felty, Gopalan Nadathur, Alexis Saurin. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday. Mathematical Structures in Computer Science, 29 (8), pp.1007-1008, 2019, ⟨10.1017/S0960129519000136⟩. ⟨hal-02408211⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS INRIA ENS-CACHAN INRIA2 USPC UP-SCIENCES ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF IRIF
77 Consultations
49 Téléchargements

Altmetric

Partager

More