PSATTT'11: preface - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2011

PSATTT'11: preface

Stéphane Lengrand
Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Résumé

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.

Domaines

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

Assia Mahboubi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00612947

Soumis le : lundi 8 août 2011-21:25:55

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

Archivage à long terme le : mercredi 9 novembre 2011-02:21:27

Télécharger pour visualiser

Dates et versions

inria-00612947 , version 1 (08-08-2011)

Identifiants

  • HAL Id : inria-00612947 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS LIX PSATTT11 X-LIX X-DEP-INFO
65 Consultations
37 Téléchargements

Partager

Gmail Facebook X LinkedIn More