Normalization of N-graphs via sub-N-graphs (Q1744401): Difference between revisions

@@ Property / cites work @@
+Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property
+Normal rank
@@ Property / cites work @@
+Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
+Normal rank
@@ Property / cites work @@
+Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach
+Normal rank
@@ Property / cites work @@
+Natural deduction and coherence for weakly distributive categories
+Normal rank
@@ Property / cites work @@
+The undecidability of \(k\)-provability
@@ Property / cites work: The undecidability of \(k\)-provability / rank @@
+Normal rank
@@ Property / cites work @@
+Making proofs without Modus Ponens:  An introduction to the combinatorics and complexity of cut elimination
+Normal rank
@@ Property / cites work @@
+Duplication of directed graphs and exponential blow up of proofs
+Normal rank
@@ Property / cites work @@
+Sequentialization for N-Graphs via Sub-N-Graphs
@@ Property / cites work: Sequentialization for N-Graphs via Sub-N-Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3281052
@@ Property / cites work: Q3281052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440824
@@ Property / cites work: Q4440824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877107
@@ Property / cites work: Q4877107 / rank @@
+Normal rank
@@ Property / cites work @@
+The correspondence between cut-elimination and normalization
+Normal rank