A fixedpoint approach to implementing (Co)inductive definitions (Q5210768): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3992552 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3894958 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4692885 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4012883 / rank
 
Normal rank
Property / cites work
 
Property / cites work: IMPS: An interactive mathematical proof system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3998266 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3805882 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4281483 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic and Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5687569 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Set theory for verification. I: From foundations to functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Set theory for verification. II: Induction and recursion / rank
 
Normal rank
Property / cites work
 
Property / cites work: A co-induction principle for recursively defined domains / rank
 
Normal rank

Latest revision as of 12:22, 21 July 2024

scientific article; zbMATH DE number 7154544
Language Label Description Also known as
English
A fixedpoint approach to implementing (Co)inductive definitions
scientific article; zbMATH DE number 7154544

    Statements

    A fixedpoint approach to implementing (Co)inductive definitions (English)
    0 references
    21 January 2020
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers