PSATTT'11: preface
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]
Origine : Fichiers produits par l'(les) auteur(s)