Q4300060 (Q4300060): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: John Case / rank
Normal rank
 
Property / author
 
Property / author: John Case / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5685065 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Toward a mathematical theory of inductive inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Machine-Independent Theory of the Complexity of Recursive Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Periodicity in generations of automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4300060 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comparison of identification criteria for machine inductive inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the error correcting power of pluralism in BC-type inductive inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3793754 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Saving the phenomena: Requirements that inductive inference machines not contradict known data / rank
 
Normal rank
Property / cites work
 
Property / cites work: Language identification in the limit / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4153600 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Composition is almost (but not quite) as good as \(s-1-1\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some natural properties of strong-identification in inductive inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probability and plurality for aggregations of learning machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4096931 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4903274 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The independence of control structures in abstract programming systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gödel numberings of partial recursive functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573961 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A connotational theory of program structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Power of Pluralism for Automatic Program Synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3329450 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:52, 22 May 2024

scientific article; zbMATH DE number 605140
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 605140

    Statements

    0 references
    0 references
    0 references
    8 September 1994
    0 references
    unrestricted algorithmic devices
    0 references
    explanatory computer programs
    0 references
    refutability principle
    0 references

    Identifiers