DEHN FUNCTION AND LENGTH OF PROOFS (Q4464963): Difference between revisions

@@ Property / cites work @@
+Time-Complexity of the Word Problem for Semigroups and the Higman Embedding Theorem
+Normal rank
@@ Property / cites work @@
+Reductions and functors from problems to word problems
+Normal rank
@@ Property / cites work @@
+Isoperimetric functions of groups and computational complexity of the word problem
+Normal rank
@@ Property / cites work @@
+The word problem
@@ Property / cites work: The word problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4780255
@@ Property / cites work: Q4780255 / rank @@
+Normal rank
@@ Property / cites work @@
+ISODIAMETRIC AND ISOPERIMETRIC INEQUALITIES FOR GROUP PRESENTATIONS
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+THE DOUBLE EXPONENTIAL THEOREM FOR ISODIAMETRIC AND ISOPERIMETRIC FUNCTIONS
+Normal rank
@@ Property / cites work @@
+Q3140233
@@ Property / cites work: Q3140233 / rank @@
+Normal rank
@@ Property / cites work @@
+Subgroups of finitely presented groups
@@ Property / cites work: Subgroups of finitely presented groups / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-natural algorithms for the word problem for finitely presented monoids and groups
+Normal rank
@@ Property / cites work @@
+LENGTH AND AREA FUNCTIONS ON GROUPS AND QUASI-ISOMETRIC HIGMAN EMBEDDINGS
+Normal rank
@@ Property / cites work @@
+Every Prime Has a Succinct Certificate
@@ Property / cites work: Every Prime Has a Succinct Certificate / rank @@
+Normal rank
@@ Property / cites work @@
+Q3697214
@@ Property / cites work: Q3697214 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional Proofs
@@ Property / cites work: The Complexity of Propositional Proofs / rank @@
+Normal rank