Inductive theorem proving based on tree grammars (Q2344621): Difference between revisions

@@ Property / cites work @@
+Incorporating decision procedures in implicit induction.
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255511
@@ Property / cites work: Q4255511 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi for induction and infinite descent
+Normal rank
@@ Property / cites work @@
+Q2751365
@@ Property / cites work: Q2751365 / rank @@
+Normal rank
@@ Property / cites work @@
+Rippling: Meta-Level Guidance for Mathematical Reasoning
+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 @@
+On the compressibility of finite languages and formal proofs
+Normal rank
@@ Property / cites work @@
+MINIMAL RECOGNIZERS AND SYNTACTIC MONOIDS OF DR TREE LANGUAGES
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / 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 @@
+Herbrand Sequent Extraction
@@ Property / cites work: Herbrand Sequent Extraction / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand-Confluence for Cut Elimination in Classical First Order Logic
+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 @@
+Conjecture synthesis for inductive theories
@@ Property / cites work: Conjecture synthesis for inductive theories / rank @@
+Normal rank
@@ Property / cites work @@
+Automating Inductive Proofs Using Theory Exploration
+Normal rank
@@ Property / cites work @@
+Zeno: An Automated Prover for Properties of Recursive Data Structures
+Normal rank
@@ Property / cites work @@
+The TPTP World – Infrastructure for Automated Reasoning
+Normal rank