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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.entcs.2009.11.029 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1975181679 / rank
 
Normal rank
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
links / mardi / namelinks / mardi / name
 

Latest revision as of 08: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
    \(\mathcal R\)-posets
    0 references
    pre-order families
    0 references
    fixed points
    0 references
    domain equations
    0 references
    final coalgebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references