Compressibility of Finite Languages by Grammars (Q5500684): Difference between revisions

@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+On Herbrand's theorem
@@ Property / cites work: On Herbrand's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955252
@@ Property / cites work: Q4955252 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal cover-automata for finite languages
@@ Property / cites work: Minimal cover-automata for finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+The Smallest Grammar Problem
@@ Property / cites work: The Smallest Grammar Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Tree Languages in Proof Theory
@@ Property / cites work: Applying Tree Languages in Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Quantified Cuts in Logic with Equality
+Normal rank
@@ Property / cites work @@
+Algorithmic introduction of quantified cuts
@@ Property / cites work: Algorithmic introduction of quantified cuts / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Algorithmic Cut-Introduction
@@ Property / cites work: Towards Algorithmic Cut-Introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigid Tree Automata
@@ Property / cites work: Rigid Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Rigid tree automata and applications
@@ Property / cites work: Rigid tree automata and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation of Grammar-Based Compression via Recompression
+Normal rank
@@ Property / cites work @@
+A really Simple Approximation of Smallest Grammar
@@ Property / cites work: A really Simple Approximation of Smallest Grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar-based codes: a new class of universal lossless source codes
+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 @@
+Q4386970
@@ Property / cites work: Q4386970 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3866101
@@ Property / cites work: Q3866101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215637
@@ Property / cites work: Q4215637 / rank @@
+Normal rank
@@ Property / cites work @@
+Twelve Problems in Proof Complexity
@@ Property / cites work: Twelve Problems in Proof Complexity / 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 @@
+Automaticity. I: Properties of a measure of descriptional complexity
+Normal rank
@@ Property / cites work @@
+Q4531381
@@ Property / cites work: Q4531381 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Herbrand's Theorem
@@ Property / cites work: Lower Bounds on Herbrand's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The macro model for data compression (Extended Abstract)
+Normal rank