On the compressibility of finite languages and formal proofs

DOI10.1016/J.IC.2017.09.001zbMATH Open1390.68389OpenAlexW2751273904WikidataQ113872847 ScholiaQ113872847MaRDI QIDQ1706152FDOQ1706152

Authors: Sebastian Eberhard, Stefan Hetzl 

Publication date: 21 March 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2017.09.001

Recommendations

• Compressibility of Finite Languages by Grammars
• On minimal grammar problems for finite languages
• On the cover complexity of finite languages
• On the grammatical complexity of finite languages
• scientific article; zbMATH DE number 4028929

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Complexity of proofs (03F20)

Cites Work

• A fully linear-time approximation algorithm for grammar-based compression
• Title not available (Why is that?)
• Application of Lempel-Ziv factorization to the approximation of grammar-based compression.
• Untersuchungen über das logische Schliessen. II
• The epsilon calculus and Herbrand complexity
• Algorithmics on SLP-compressed strings: a survey
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof theory. 2nd ed
• Title not available (Why is that?)
• Minimal cover-automata for finite languages
• The number of proof lines and the size of proofs in first order logic
• The Smallest Grammar Problem
• On the complexity of grammar-based compression over fixed alphabets
• Approximation of grammar-based compression via recompression
• The macro model for data compression (extended abstract)
• Rigid tree automata and applications
• A \textit{really} simple approximation of smallest grammar
• Lower Bounds on Herbrand's Theorem
• Applying tree languages in proof theory
• Towards Algorithmic Cut-Introduction
• Introducing quantified cuts in logic with equality
• Title not available (Why is that?)
• Algorithmic introduction of quantified cuts
• Title not available (Why is that?)
• Twelve Problems in Proof Complexity
• Grammar-based codes: a new class of universal lossless source codes
• On the context-free production complexity of finite languages
• Context-free complexity of finite languages
• Concise description of finite languages
• A note on a problem in the theory of grammatical complexity
• Complexity of resolution proofs and function introduction
• Automated Reasoning
• On the form of witness terms
• Title not available (Why is that?)
• A lower-bound for the number of productions required for a certain class of languages
• Herbrand Confluence for First-Order Proofs with Π₂-Cuts
• Herbrand disjunctions, cut elimination and context-free tree grammars
• Compressibility of Finite Languages by Grammars

Cited In (8)

• On the cover complexity of finite languages
• On the Herbrand content of LK
• Title not available (Why is that?)
• Title not available (Why is that?)
• On minimizing regular expressions without Kleene star
• Compressibility of Finite Languages by Grammars
• Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen
• Inductive theorem proving based on tree grammars

This page was built for publication: On the compressibility of finite languages and formal proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1706152)