Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02261-6_8
+Normal rank
@@ Property / OpenAlex ID @@
+W1548306918
@@ Property / OpenAlex ID: W1548306918 / rank @@
+Normal rank
@@ Property / cites work @@
+Duplication of directed graphs and exponential blow up of proofs
+Normal rank
@@ Property / cites work @@
+Normalisation Control in Deep Inference via Atomic Flows
+Normal rank
@@ Property / cites work @@
+Natural deduction and coherence for weakly distributive categories
+Normal rank
@@ Property / cites work @@
+Normalization theorems for full first order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q4877107
@@ Property / cites work: Q4877107 / rank @@
+Normal rank
@@ Property / cites work @@
+Existential instantiation and normalization in sequent natural deduction
+Normal rank
@@ Property / cites work @@
+Proofs as processes
@@ Property / cites work: Proofs as processes / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3638277