E-generalization using grammars (Q2457667): Difference between revisions

@@ Property / arXiv ID @@
+.8118
@@ Property / arXiv ID: 1403.8118 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification, weak unification, upper bound, lower bound, and generalization problems
+Normal rank
@@ Property / cites work @@
+Q3490989
@@ Property / cites work: Q3490989 / rank @@
+Normal rank
@@ Property / cites work @@
+Equality and disequality constraints on direct subterms in tree automata
+Normal rank
@@ Property / cites work @@
+Q4412246
@@ Property / cites work: Q4412246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3111499
@@ Property / cites work: Q3111499 / rank @@
+Normal rank
@@ Property / cites work @@
+Pumping, cleaning and symbolic constraints solving
+Normal rank
@@ Property / cites work @@
+Automata for reduction properties solving
@@ Property / cites work: Automata for reduction properties solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / 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 @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Language identification in the limit
@@ Property / cites work: Language identification in the limit / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets of transformations for general E-unification
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843403
@@ Property / cites work: Q4843403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264738
@@ Property / cites work: Q4264738 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5677085
@@ Property / cites work: Q5677085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624680
@@ Property / cites work: Q5624680 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent advances of grammatical inference
@@ Property / cites work: Recent advances of grammatical inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342495
@@ Property / cites work: Q4342495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484383
@@ Property / cites work: Q3484383 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+A theory of the learnable
@@ Property / cites work: A theory of the learnable / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions to the rippling-out tactic for guiding inductive proofs
+Normal rank