On the compressibility of finite languages and formal proofs (Q1706152): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2017.09.001
@@ Property / DOI: 10.1016/j.ic.2017.09.001 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2017.09.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2751273904
@@ Property / OpenAlex ID: W2751273904 / rank @@
+Normal rank
@@ Property / cites work @@
+The macro model for data compression (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+On the Complexity of Grammar-Based Compression over Fixed Alphabets
+Normal rank
@@ Property / cites work @@
+Q4386970
@@ Property / cites work: Q4386970 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar-based codes: a new class of universal lossless source codes
+Normal rank
@@ Property / cites work @@
+Application of Lempel-Ziv factorization to the approximation of grammar-based compression.
+Normal rank
@@ Property / cites work @@
+The Smallest Grammar Problem
@@ Property / cites work: The Smallest Grammar Problem / rank @@
+Normal rank
@@ Property / cites work @@
+A fully linear-time approximation algorithm for grammar-based compression
+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 @@
+Algorithmics on SLP-compressed strings: A survey
@@ Property / cites work: Algorithmics on SLP-compressed strings: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Concise description of finite languages
@@ Property / cites work: Concise description of finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+A note on a problem in the theory of grammatical complexity
+Normal rank
@@ Property / cites work @@
+A lower-bound for the number of productions required for a certain class of languages
+Normal rank
@@ Property / cites work @@
+Context-free complexity of finite languages
@@ Property / cites work: Context-free complexity of finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the context-free production complexity of finite languages
+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 @@
+Towards Algorithmic Cut-Introduction
@@ Property / cites work: Towards Algorithmic Cut-Introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic introduction of quantified cuts
@@ Property / cites work: Algorithmic introduction of quantified cuts / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Quantified Cuts in Logic with Equality
+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 @@
+Twelve Problems in Proof Complexity
@@ Property / cites work: Twelve Problems in Proof Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Compressibility of Finite Languages by Grammars
@@ Property / cites work: Compressibility of Finite Languages by Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / 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 @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q3618853
@@ Property / cites work: Q3618853 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+The number of proof lines and the size of proofs in first order logic
+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 @@
+Q3866101
@@ Property / cites work: Q3866101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215637
@@ Property / cites work: Q4215637 / rank @@
+Normal rank
@@ Property / cites work @@
+The epsilon calculus and Herbrand complexity
@@ Property / cites work: The epsilon calculus and Herbrand complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of resolution proofs and function introduction
+Normal rank
@@ Property / cites work @@
+Q4304753
@@ Property / cites work: Q4304753 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263791
@@ Property / cites work: Q4263791 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On the form of witness terms
@@ Property / cites work: On the form of witness terms / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars
+Normal rank
@@ Property / cites work @@
+Herbrand Confluence for First-Order Proofs with Π<sub>2</sub>-Cuts
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2017.09.001
@@ Property / DOI: 10.1016/J.IC.2017.09.001 / rank @@
+Normal rank