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

@@ Property / author @@
+Ruy J. G. B. de Queiroz
@@ Property / author: Ruy J. G. B. de Queiroz / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317687
@@ Property / Wikidata QID: Q113317687 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2016.06.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2474768001
@@ Property / OpenAlex ID: W2474768001 / rank @@
+Normal rank
@@ 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