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

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by the same user not shown)
Property / cites work
 
Property / cites work: Unification, weak unification, upper bound, lower bound, and generalization problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3490989 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equality and disequality constraints on direct subterms in tree automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4412246 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3111499 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pumping, cleaning and symbolic constraints solving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata for reduction properties solving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385532 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Variations on the Common Subexpression Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Untersuchungen über das logische Schliessen. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Language identification in the limit / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complete sets of transformations for general E-unification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4051550 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4843403 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4264738 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5624681 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5677085 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5624680 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recent advances of grammatical inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4342495 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3484383 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized finite automata theory with an application to a decision problem of second-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of the learnable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extensions to the rippling-out tactic for guiding inductive proofs / rank
 
Normal rank

Latest revision as of 10:01, 4 December 2024

scientific article
Language Label Description Also known as
English
E-generalization using grammars
scientific article

    Statements

    E-generalization using grammars (English)
    0 references
    0 references
    23 October 2007
    0 references
    equational theory
    0 references
    generalization
    0 references
    inductive logic programming
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references