From Deep Inference to Proof Nets via Cut Elimination

Lutz Straßburger 1, 2
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Article dans une revue
Journal of Logic and Computation, Oxford University Press (OUP), 2011, 21 (4), pp.589-624. 〈http://logcom.oxfordjournals.org/content/21/4/589.full.pdf+html〉. 〈10.1093/logcom/exp047〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00772603
Contributeur : Lutz Straßburger <>
Soumis le : jeudi 10 janvier 2013 - 18:00:45
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

Collections

Citation

Lutz Straßburger. From Deep Inference to Proof Nets via Cut Elimination. Journal of Logic and Computation, Oxford University Press (OUP), 2011, 21 (4), pp.589-624. 〈http://logcom.oxfordjournals.org/content/21/4/589.full.pdf+html〉. 〈10.1093/logcom/exp047〉. 〈hal-00772603〉

Partager

Métriques

Consultations de la notice

109