Tradeoffs in the inductive inference of nearly minimal size programs (Q3312211): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q2368917
Import240304020342 (talk | contribs)
Set profile property.
 
(One intermediate revision by one other user not shown)
Property / author
 
Property / author: Keh-Jiann Chen / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 10:41, 5 March 2024

scientific article
Language Label Description Also known as
English
Tradeoffs in the inductive inference of nearly minimal size programs
scientific article

    Statements

    Tradeoffs in the inductive inference of nearly minimal size programs (English)
    0 references
    1982
    0 references
    nearly minimal size programs
    0 references
    inductive inference machines
    0 references
    recursive function
    0 references
    mind change bounds
    0 references
    anomalies in synthesized programs
    0 references
    0 references

    Identifiers