A formal framework for specifying sequent calculus proof systems

Dale Miller; Elaine Pimentel

doi:10.1016/j.tcs.2012.12.008

Article Dans Une Revue Theoretical Computer Science Année : 2013

A formal framework for specifying sequent calculus proof systems

(1, 2) , (3)

1
2
3

Dale Miller

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

Proof search and reasoning with logic specifications

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

CV

Elaine Pimentel

Fonction : Auteur

Universidade Federal de Minas Gerais = Federal University of Minas Gerais [Belo Horizonte, Brazil]

Dale Miller : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 12 février 2013-14:25:35

Dernière modification le : mercredi 9 août 2023-09:40:15

Dates et versions

hal-00787586 , version 1 (12-02-2013)

Identifiants

HAL Id : hal-00787586 , version 1
DOI : 10.1016/j.tcs.2012.12.008

Citer

Dale Miller, Elaine Pimentel. A formal framework for specifying sequent calculus proof systems. Theoretical Computer Science, 2013, pp.98-116. ⟨10.1016/j.tcs.2012.12.008⟩. ⟨hal-00787586⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2

181 Consultations

0 Téléchargements

A formal framework for specifying sequent calculus proof systems

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager