Canonical Sequent Proofs via Multi-Focusing - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Communication Dans Un Congrès Année : 2008

Canonical Sequent Proofs via Multi-Focusing

(1, 2, 3) , (3) , (2, 3)

1
2
3

Alexis Saurin

Fonction : Auteur
PersonId : 16833
IdHAL : alexis-saurin
IdRef : 233760210

Preuves, Programmes et Systèmes

Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Proof search and reasoning with logic specifications

Kaustuv C. Chaudhuri

Fonction : Auteur
PersonId : 2094
IdHAL : kaustuv
ORCID : 0000-0003-2938-547X
IdRef : 253132088

Proof search and reasoning with logic specifications

Dale Miller

Fonction : Auteur
PersonId : 2376
IdHAL : dale-miller
ORCID : 0000-0003-0274-4954
IdRef : 142334367

Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Proof search and reasoning with logic specifications

Domaines

Logique en informatique [cs.LO]

Alexis Saurin : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00527893

Soumis le : mercredi 20 octobre 2010-15:31:47

Dernière modification le : jeudi 15 février 2024-03:31:53

Dates et versions

hal-00527893 , version 1 (20-10-2010)

Identifiants

HAL Id : hal-00527893 , version 1
DOI : 10.1007/978-0-387-09680-3_26

Citer

Alexis Saurin, Kaustuv C. Chaudhuri, Dale Miller. Canonical Sequent Proofs via Multi-Focusing. Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, Sep 2008, Milano, Italy. pp.383-396, ⟨10.1007/978-0-387-09680-3_26⟩. ⟨hal-00527893⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 X UNIV-RENNES1 PPS CNRS INRIA IRISA LIX X-LIX X-DEP-INFO INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

180 Consultations

0 Téléchargements

Altmetric

Partager