PSATTT'11: preface - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year : 2011

PSATTT'11: preface

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

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.

Domains

Logic in Computer Science [cs.LO]
Fichier principal
Vignette du fichier
preface.pdf (37.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Assia Mahboubi  : Connect in order to contact the contributor

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

Submitted on : Monday, August 8, 2011-9:25:55 PM

Last modification on : Friday, March 24, 2023-2:52:54 PM

Long-term archiving on: Wednesday, November 9, 2011-2:21:27 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : inria-00612947 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS LIX PSATTT11 X-LIX X-DEP-INFO
65 View
37 Download

Share

Gmail Facebook X LinkedIn More