Constructing small tree grammars and small circuits for formulas (Q2396826): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2016.12.007
@@ Property / DOI: 10.1016/j.jcss.2016.12.007 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963295241
@@ Property / OpenAlex ID: W2963295241 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4286
@@ Property / arXiv ID: 1407.4286 / rank @@
+Normal rank
@@ Property / cites work @@
+A bisection algorithm for grammar-based compression of ordered trees
+Normal rank
@@ Property / cites work @@
+Tight lower bounds on the length of word chains
@@ Property / cites work: Tight lower bounds on the length of word chains / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+On the length of word chains
@@ Property / cites work: On the length of word chains / rank @@
+Normal rank
@@ Property / cites work @@
+Tree compression with top trees
@@ Property / cites work: Tree compression with top trees / rank @@
+Normal rank
@@ Property / cites work @@
+Size-depth tradeoffs for Boolean formulae
@@ Property / cites work: Size-depth tradeoffs for Boolean formulae / rank @@
+Normal rank
@@ Property / cites work @@
+XML compression via directed acyclic graphs
@@ Property / cites work: XML compression via directed acyclic graphs / rank @@
+Normal rank
@@ Property / cites work @@
+The Parallel Evaluation of General Arithmetic Expressions
+Normal rank
@@ Property / cites work @@
+Size-Depth Tradeoffs for Algebraic Formulas
@@ Property / cites work: Size-Depth Tradeoffs for Algebraic Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The Smallest Grammar Problem
@@ Property / cites work: The Smallest Grammar Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Compressing and indexing labeled trees, with applications
+Normal rank
@@ Property / cites work @@
+Q3549563
@@ Property / cites work: Q3549563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038694
@@ Property / cites work: Q4038694 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar-Based Compression in a Streaming Model
@@ Property / cites work: Grammar-Based Compression in a Streaming Model / rank @@
+Normal rank
@@ Property / cites work @@
+Least upper bounds on OBDD sizes
@@ Property / cites work: Least upper bounds on OBDD sizes / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Small Tree Grammars and Small Circuits for Formulas
+Normal rank
@@ Property / cites work @@
+Approximation of grammar-based compression via recompression
+Normal rank
@@ Property / cites work @@
+A \textit{really} simple approximation of smallest grammar
+Normal rank
@@ Property / cites work @@
+Q2965507
@@ Property / cites work: Q2965507 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar-based codes: a new class of universal lossless source codes
+Normal rank
@@ Property / cites work @@
+Universal lossless compression via multilevel pattern matching
+Normal rank
@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5180413
@@ Property / cites work: Q5180413 / rank @@
+Normal rank
@@ Property / cites work @@
+On the OBDD-representation of general Boolean functions
+Normal rank
@@ Property / cites work @@
+Algorithmics on SLP-compressed strings: A survey
@@ Property / cites work: Algorithmics on SLP-compressed strings: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter reduction and automata evaluation for grammar-compressed trees
+Normal rank
@@ Property / cites work @@
+Succinct Representation of Balanced Parentheses and Static Trees
+Normal rank
@@ Property / cites work @@
+Succinct Representations of Ordinal Trees
@@ Property / cites work: Succinct Representations of Ordinal Trees / rank @@
+Normal rank
@@ Property / cites work @@
+A note on word chains and regular languages
@@ Property / cites work: A note on word chains and regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-size bounded alternation
@@ Property / cites work: Tree-size bounded alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Application of Lempel-Ziv factorization to the approximation of grammar-based compression.
+Normal rank
@@ Property / cites work @@
+A fully linear-time approximation algorithm for grammar-based compression
+Normal rank
@@ Property / cites work @@
+Catalan Numbers
@@ Property / cites work: Catalan Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A Universal Grammar-Based Code for Lossless Compression of Binary Trees
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2016.12.007
@@ Property / DOI: 10.1016/J.JCSS.2016.12.007 / rank @@
+Normal rank