Inductive inference of monotonic formal systems from positive data (Q749217): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inductive inference of formal languages from positive data / rank
 
Normal rank
Property / cites work
 
Property / cites work: ELEMENTARY FORMAL SYSTEMS AND FORMAL LANGUAGES-SIMPLE FORMAL SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4013548 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Language identification in the limit / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternation and the computational complexity of logic programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4749224 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3664455 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3746876 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of Formal Systems. (AM-47) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4013550 / rank
 
Normal rank

Latest revision as of 12:14, 21 June 2024

scientific article
Language Label Description Also known as
English
Inductive inference of monotonic formal systems from positive data
scientific article

    Statements

    Inductive inference of monotonic formal systems from positive data (English)
    0 references
    0 references
    0 references
    1991
    0 references
    0 references
    inductive inference
    0 references
    formal languages
    0 references
    logic programs
    0 references
    monotonicity
    0 references
    formal systems
    0 references