Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Framed temporal logic programming - MaRDI portal

Framed temporal logic programming (Q2469157)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Framed temporal logic programming
scientific article

    Statements

    title
    Framed temporal logic programming (English)
    0 references
    author
    Zhenhua Duan
    0 references
    Xiao-Xiao Yang
    0 references
    Maciej Koutny
    0 references
    publication date
    4 February 2008
    0 references
    zbMATH Keywords
    temporal logic programming
    0 references
    framing
    0 references
    minimal model
    0 references
    monotonicity
    0 references
    synchronization
    0 references
    communication
    0 references
    semantics
    0 references

    Identifiers

    zbMATH DE Number
    5231973
    0 references
    OpenAlex ID
    W2093832730
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2469157&oldid=39104078"
    Powered by MediaWiki