Combinatorial Flows and Their Normalisation Article Swipe
Related Concepts
Lutz Straßburger
·
YOU?
·
· 2017
· Open Access
·
· DOI: https://doi.org/10.4230/lipics.fscd.2017.31
· OA: W2758306115
YOU?
·
· 2017
· Open Access
·
· DOI: https://doi.org/10.4230/lipics.fscd.2017.31
· OA: W2758306115
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.
Related Topics
Finding more related topics…