Domain Equations Based on Sets with Families of Pre-orders (Q2994482): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elements of generalized ultrametric domain theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topology, domain theory and theoretical computer science / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3821265 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023580 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4857386 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530231 / rank
 
Normal rank

Latest revision as of 09:31, 12 July 2024

scientific article
Language Label Description Also known as
English
Domain Equations Based on Sets with Families of Pre-orders
scientific article

    Statements

    Domain Equations Based on Sets with Families of Pre-orders (English)
    0 references
    0 references
    0 references
    1 August 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    \(\mathcal R\)-posets
    0 references
    pre-order families
    0 references
    fixed points
    0 references
    domain equations
    0 references
    final coalgebra
    0 references
    0 references