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
Tableaux Modulo Theories Using Superdeduction - MaRDI portal

Tableaux Modulo Theories Using Superdeduction (Q2908505)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tableaux Modulo Theories Using Superdeduction
scientific article

    Statements

    title
    Tableaux Modulo Theories Using Superdeduction (English)
    0 references
    author
    Mélanie Jacquel
    0 references
    Karim Berkani
    0 references
    David Delahaye
    0 references
    Catherine Dubois
    0 references
    publication date
    5 September 2012
    0 references
    zbMATH Keywords
    tableaux
    0 references
    superdeduction
    0 references
    Zenon
    0 references
    set theory
    0 references
    B method
    0 references
    proof rules
    0 references
    verification
    0 references
    describes a project that uses
    Zenon
    0 references
    Atelier B
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    03B35
    0 references
    68Q60
    0 references
    zbMATH DE Number
    6076917
    0 references
    OpenAlex ID
    W2949125183
    0 references
    arXiv ID
    1501.01301
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2908505&oldid=33569372"
    Powered by MediaWiki