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
Simulating Dynamic Systems Using Linear Time Calculus Theories - MaRDI portal

Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Simulating Dynamic Systems Using Linear Time Calculus Theories
scientific article

    Statements

    title
    Simulating Dynamic Systems Using Linear Time Calculus Theories (English)
    0 references
    author
    Bart Bogaerts
    0 references
    Joachim Jansen
    0 references
    Maurice Bruynooghe
    0 references
    Broes de Cat
    0 references
    Joost Vennekens
    0 references
    Marc Denecker
    0 references
    publication date
    25 November 2014
    0 references
    zbMATH Keywords
    dynamic systems
    0 references
    progression
    0 references
    simulation
    0 references
    knowledge base system
    0 references
    inferences
    0 references
    linear time calculus
    0 references

    Identifiers

    zbMATH DE Number
    6373641
    0 references
    arXiv ID
    1405.1523
    0 references
    OpenAlex ID
    W3102290089
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2931258&oldid=37136125"
    Powered by MediaWiki