Combinatorial Flows and their Normalisation

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, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : This paper introduces combinatorial flows that generalize combinatorial proofs such that they also include cut and substitution as methods of proof compression. We show a normalization procedure for combinatorial flows, and how syntactic proofs are translated into combinatorial flows and vice versa.
Type de document :
Communication dans un congrès
FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction, Sep 2017, Oxford, United Kingdom. 84, pp.311 - 3117, 2017, Leibniz International Proceedings in Informatics (LIPIcs). 〈10.4230/LIPIcs.FSCD.2017.31〉
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01635931
Contributeur : Lutz Straßburger <>
Soumis le : mercredi 15 novembre 2017 - 22:13:10
Dernière modification le : jeudi 10 mai 2018 - 02:06:57
Document(s) archivé(s) le : vendredi 16 février 2018 - 15:45:28

Fichier

comproofcom-finalforFSCD17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Lutz Straßburger. Combinatorial Flows and their Normalisation. FSCD 2017 - 2nd International Conference on Formal Structures for Computation and Deduction, Sep 2017, Oxford, United Kingdom. 84, pp.311 - 3117, 2017, Leibniz International Proceedings in Informatics (LIPIcs). 〈10.4230/LIPIcs.FSCD.2017.31〉. 〈hal-01635931〉

Partager

Métriques

Consultations de la notice

195

Téléchargements de fichiers

24