Specification and proof in membership equational logic (Q1978640)

From MaRDI portal
Revision as of 16:32, 29 May 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Specification and proof in membership equational logic
scientific article

    Statements

    title
    Specification and proof in membership equational logic (English)
    0 references
    author
    Adel Bouhoula
    0 references
    Jean-Pierre Jouannaud
    0 references
    José Meseguer
    0 references
    publication date
    4 June 2000
    0 references
    zbMATH DE Number
    1454398
    0 references
    zbMATH Keywords
    executable algebraic specifications
    0 references
    parameterized modules
    0 references
    inductive proofs
    0 references
    describes a project that uses
    OBJ3
    0 references
    Maude
    0 references
    NQTHM
    0 references
    cites work
    Q3682648
    0 references
    Q3896478
    0 references
    Q4264712
    0 references
    Q3835049
    0 references
    Q3785921
    0 references
    Q3490949
    0 references
    Q4942651
    0 references
    Q3855354
    0 references
    Q4385532
    0 references
    Q3817652
    0 references
    Q3719824
    0 references
    Q3030249
    0 references
    Q3883561
    0 references
    Q4297316
    0 references
    Q3795207
    0 references
    Q3338226
    0 references
    Q3690200
    0 references
    Q4222853
    0 references
    Equational type logic
    0 references
    Q3032225
    0 references
    Q3839051
    0 references
    Q3204056
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1978640&oldid=34244051"
    Powered by MediaWiki