Metric completion versus ideal completion (Q672047)

From MaRDI portal
Revision as of 00:56, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Metric completion versus ideal completion
scientific article

    Statements

    Metric completion versus ideal completion (English)
    0 references
    0 references
    27 February 1997
    0 references
    semantics of programming languages
    0 references
    concurrency
    0 references
    semantic domain
    0 references
    ideal completion
    0 references
    metric completion
    0 references
    recursion
    0 references
    infinite behaviour
    0 references
    semantic operators
    0 references

    Identifiers