Geometry of interaction. V: Logic in the hyperfinite factor (Q534694): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F52
@@ Property / Mathematics Subject Classification ID: 03F52 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F05
@@ Property / Mathematics Subject Classification ID: 03F05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5886378
@@ Property / zbMATH DE Number: 5886378 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof theory
@@ Property / zbMATH Keywords: proof theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear logic
@@ Property / zbMATH Keywords: linear logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity theory
@@ Property / zbMATH Keywords: complexity theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+light logic
@@ Property / zbMATH Keywords: light logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+operator algebra
@@ Property / zbMATH Keywords: operator algebra / rank @@
+Normal rank
@@ 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.1016/j.tcs.2010.12.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2065359627
@@ Property / OpenAlex ID: W2065359627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895892
@@ Property / cites work: Q4895892 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinant theory in finite factors
@@ Property / cites work: Determinant theory in finite factors / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824307
@@ Property / cites work: Q3824307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204146
@@ Property / cites work: Q4204146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3203017
@@ Property / cites work: Q3203017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842981
@@ Property / cites work: Q4842981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477354
@@ Property / cites work: Q5477354 / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+Q4359479
@@ Property / cites work: Q4359479 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:534694