Unifying Theories of Undefinedness in UTP (Q3455642)

From MaRDI portal
Revision as of 20:26, 4 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Unifying Theories of Undefinedness in UTP
scientific article

    Statements

    title
    Unifying Theories of Undefinedness in UTP (English)
    0 references
    author
    J. C. P. Woodcock
    0 references
    Victor Bandur
    0 references
    publication date
    11 December 2015
    0 references

    Identifiers

    zbMATH DE Number
    6519762
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3455642&oldid=16779604"
    Powered by MediaWiki