Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Q3448824): Difference between revisions

@@ Property / OpenAlex ID @@
+W2462227731
@@ Property / OpenAlex ID: W2462227731 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Languages are Testable with a Constant Number of Queries
+Normal rank
@@ Property / cites work @@
+Fundamentals of Computation Theory
@@ Property / cites work: Fundamentals of Computation Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Robust PCPs of Proximity, Shorter PCPs, and Applications to Coding
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Assignment Testers: Towards a Combinatorial Proof of the PCP Theorem
+Normal rank
@@ Property / cites work @@
+Fast approximate probabilistically checkable proofs
+Normal rank
@@ Property / cites work @@
+Partial tests, universal tests and decomposability
+Normal rank
@@ Property / cites work @@
+Property testing and its connection to learning and approximation
+Normal rank
@@ Property / cites work @@
+Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs
+Normal rank
@@ Property / cites work @@
+On Proximity-Oblivious Testing
@@ Property / cites work: On Proximity-Oblivious Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Interactive Proofs of Proximity
@@ Property / cites work: Non-Interactive Proofs of Proximity / rank @@
+Normal rank
@@ Property / cites work @@
+Arguments of Proximity
@@ Property / cites work: Arguments of Proximity / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds on the complexity of real-time branching programs
+Normal rank
@@ Property / cites work @@
+Q5180413
@@ Property / cites work: Q5180413 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Membership in Languages that Have Small Width Branching Programs
+Normal rank
@@ Property / cites work @@
+Q4780800
@@ Property / cites work: Q4780800 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Characterizations of Polynomials with Applications to Program Testing
+Normal rank
@@ Property / cites work @@
+On uniform circuit complexity
@@ Property / cites work: On uniform circuit complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive proofs of proximity
@@ Property / cites work: Interactive proofs of proximity / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q130371181
@@ Property / Wikidata QID: Q130371181 / rank @@
+Normal rank