PSATTT'11: preface

Abstract : This volume contains the papers presented at PSATTT-11: International Work- shop on Proof-Search in Axiomatic Theories and Type Theories held on July 31, 2011 in Wroclaw. This workshop continues the series entitled "Proof Search in Type Theories" (PSTT at CADE'09, FLOC'10), and enlarges its scope to encompass proof search in axiomatic theories as well.
Type de document :
Document associé à des manifestations scientifiques
PSATTT'11 : International Workshop on Proof Search in Axiomatic Theories and Type Theories, Aug 2011, Wroclaw, Poland
Liste complète des métadonnées

https://hal.inria.fr/inria-00612947
Contributeur : Assia Mahboubi <>
Soumis le : lundi 8 août 2011 - 21:25:55
Dernière modification le : jeudi 10 mai 2018 - 02:06:19
Document(s) archivé(s) le : mercredi 9 novembre 2011 - 02:21:27

Fichier

preface.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00612947, version 1

Collections

Citation

Stéphane Lengrand. PSATTT'11: preface. PSATTT'11 : International Workshop on Proof Search in Axiomatic Theories and Type Theories, Aug 2011, Wroclaw, Poland. 〈inria-00612947〉

Partager

Métriques

Consultations de la notice

98

Téléchargements de fichiers

37