Tableaux for Reasoning about Atomic Updates (Q2996198)

From MaRDI portal
Revision as of 22:08, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Tableaux for Reasoning about Atomic Updates
scientific article

    Statements

    title
    Tableaux for Reasoning about Atomic Updates (English)
    0 references
    author
    Georg Moser
    0 references
    Richard Zach
    0 references
    publication date
    6 May 2011
    0 references
    Mathematics Subject Classification ID
    68P15
    0 references
    03B35
    0 references
    03B42
    0 references
    68T27
    0 references
    68T30
    0 references
    zbMATH DE Number
    5884933
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2996198&oldid=16012624"
    Powered by MediaWiki