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
(Co)inductive proof systems for compositional proofs in reachability logic - MaRDI portal

(Co)inductive proof systems for compositional proofs in reachability logic (Q1996855)

From MaRDI portal
scientific article
Language Label Description Also known as
English
(Co)inductive proof systems for compositional proofs in reachability logic
scientific article

    Statements

    title
    (Co)inductive proof systems for compositional proofs in reachability logic (English)
    0 references
    author
    Vlad Rusu
    0 references
    David E. Nowak
    0 references
    publication date
    26 February 2021
    0 references
    describes a project that uses
    Archive Formal Proofs
    0 references
    Paco
    0 references
    Coq
    0 references
    Isabelle/HOL
    0 references
    Coinductive
    0 references

    Identifiers

    zbMATH DE Number
    7316058
    0 references
    OpenAlex ID
    W3096325522
    0 references
    Wikidata QID
    Q113870957
    0 references
    arXiv ID
    1909.01744
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1996855&oldid=38821641"
    Powered by MediaWiki