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
Two Decades of Maude - MaRDI portal

Two Decades of Maude (Q2945709)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Two Decades of Maude
scientific article

    Statements

    title
    Two Decades of Maude (English)
    0 references
    author
    Francisco Durán
    0 references
    Steven Eker
    0 references
    Santiago Escobar
    0 references
    Narciso Martí-Oliet
    0 references
    Manuel Clavel
    0 references
    Patrick D. Lincoln
    0 references
    Carolyn L. Talcott
    0 references
    publication date
    14 September 2015
    0 references
    describes a project that uses
    SMT-LIB
    0 references
    Maude-NPA
    0 references
    MTT
    0 references
    Maude
    0 references
    OBJ3
    0 references
    CVC4
    0 references
    LoLA
    0 references
    cites work
    Q5503674
    0 references
    Q4934731
    0 references
    Q4223000
    0 references
    Q4222979
    0 references
    Q2703706
    0 references
    Q4222994
    0 references
    Q4447224
    0 references
    Q4222853
    0 references
    Q4222856
    0 references
    Q2767190
    0 references
    Q2767191
    0 references
    Q4222990
    0 references
    Maude's module algebra
    0 references
    Q3716279
    0 references
    Q5111913
    0 references
    Q4246796
    0 references
    Q4222859
    0 references
    Q3839051
    0 references
    Q3046721
    0 references
    Q2766586
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68-03
    0 references
    01A65
    0 references
    03B70
    0 references
    68Q42
    0 references
    zbMATH DE Number
    6481939
    0 references
    Wikidata QID
    Q123905823
    0 references
    OpenAlex ID
    W2294286260
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2945709&oldid=36200693"
    Powered by MediaWiki