Dynamic Logic with Trace Semantics (Q4928449)

From MaRDI portal
scientific article; zbMATH DE number 6176218
Language Label Description Also known as
English
Dynamic Logic with Trace Semantics
scientific article; zbMATH DE number 6176218

    Statements

    title
    Dynamic Logic with Trace Semantics (English)
    0 references
    author
    Bernhard Beckert
    0 references
    Daniel Bruns
    0 references
    publication date
    14 June 2013
    0 references
    Mathematics Subject Classification ID
    03B70
    0 references
    03B44
    0 references
    68N30
    0 references
    zbMATH DE Number
    6176218
    0 references
    OpenAlex ID
    W96249932
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4928449&oldid=32274906"
    Powered by MediaWiki