Unification in linear temporal logic LTL (Q716499)

From MaRDI portal
Revision as of 11:18, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Unification in linear temporal logic LTL
scientific article

    Statements

    title
    Unification in linear temporal logic LTL (English)
    0 references
    author
    Sergey Babenyshev
    0 references
    Q385069
    0 references
    publication date
    22 September 2011
    0 references
    Mathematics Subject Classification ID
    03B44
    0 references
    03B70
    0 references
    03F52
    0 references
    zbMATH DE Number
    5949322
    0 references
    zbMATH Keywords
    unification
    0 references
    linear temporal logic
    0 references
    unification type
    0 references
    most general unifier
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q716499&oldid=12632955"
    Powered by MediaWiki