Small Depth Proof Systems (Q2849945): Difference between revisions

← Older edit

@@ description / en / description / en @@
+scientific article; zbMATH DE number 7140818
@@ Property / zbMATH Open document ID @@
+.68126
@@ Property / zbMATH Open document ID: 1427.68126 / rank @@
+Normal rank
@@ Property / DOI @@
+.1145/2956229
@@ Property / DOI: 10.1145/2956229 / rank @@
+Normal rank
@@ Property / published in @@
+ACM Transactions on Computation Theory
@@ Property / published in: ACM Transactions on Computation Theory / rank @@
+Normal rank
@@ Property / publication date @@
+December 2019Timestamp +2019-12-06T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2019-12-06T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 6 December 2019 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q15
@@ Property / Mathematics Subject Classification ID: 68Q15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7140818
@@ Property / zbMATH DE Number: 7140818 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1776819099
@@ Property / OpenAlex ID: W1776819099 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof complexity
@@ Property / zbMATH Keywords: proof complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+circuit complexity
@@ Property / zbMATH Keywords: circuit complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof circuits
@@ Property / zbMATH Keywords: proof circuits / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+small-depth proofs
@@ Property / zbMATH Keywords: small-depth proofs / rank @@
+Normal rank