Computational adequacy via ‘mixed’ inductive definitions (Q5890041): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3999206 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3978971 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3138538 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4288818 / rank
 
Normal rank
Property / cites work
 
Property / cites work: LCF considered as a programming language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4072829 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3959414 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Category-Theoretic Solution of Recursive Domain Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3141916 / rank
 
Normal rank

Latest revision as of 00:38, 1 August 2024

scientific article; zbMATH DE number 7680634
Language Label Description Also known as
English
Computational adequacy via ‘mixed’ inductive definitions
scientific article; zbMATH DE number 7680634

    Statements

    Computational adequacy via ‘mixed’ inductive definitions (English)
    0 references
    0 references
    28 April 2023
    0 references
    binary relation
    0 references
    denotational semantic
    0 references
    domain equation
    0 references
    fixed point property
    0 references
    inductive definition
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers