No label defined (Q5089025)

From MaRDI portal
scientific article; zbMATH DE number 7559289
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7559289

    Statements

    author
    Ross Horne
    0 references
    publication date
    18 July 2022
    0 references
    zbMATH Keywords
    calculus of structures
    0 references
    probabilistic choice
    0 references
    probabilistic refinement
    0 references
    cites work
    Q4812967
    0 references
    Q2915680
    0 references
    Nominal abstraction
    0 references
    Linear logic
    0 references
    Q4650586
    0 references
    Q4608683
    0 references
    Q2760248
    0 references
    Q4847023
    0 references
    Q4428313
    0 references
    Q5111176
    0 references

    Identifiers

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