Bunched sequential information (Q266883): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F05
@@ Property / Mathematics Subject Classification ID: 03F05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 03B25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6566313
@@ Property / zbMATH DE Number: 6566313 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logic BI of bunched implications
@@ Property / zbMATH Keywords: logic BI of bunched implications / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+sequential information
@@ Property / zbMATH Keywords: sequential information / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+completeness theorem
@@ Property / zbMATH Keywords: completeness theorem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+cut-elimination theorem
@@ Property / zbMATH Keywords: cut-elimination theorem / 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.jal.2016.02.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2281434313
@@ Property / OpenAlex ID: W2281434313 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:266883