A formal framework for specifying sequent calculus proof systems

Dale Miller 1, 2 Elaine Pimentel 3
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2013, pp.98-116. 〈10.1016/j.tcs.2012.12.008〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00787586
Contributeur : Dale Miller <>
Soumis le : mardi 12 février 2013 - 14:25:35
Dernière modification le : mardi 17 avril 2018 - 11:48:04

Lien texte intégral

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

224