No label defined (Q4447234)

From MaRDI portal
scientific article; zbMATH DE number 2043530
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 2043530

    Statements

    author
    Feng Chen
    0 references
    Ram Prasad Venkatesan
    0 references
    Grigore Roşu
    0 references
    publication date
    16 February 2004
    0 references
    describes a project that uses
    bc
    0 references
    Maude
    0 references
    ELAN
    0 references
    UNITS
    0 references
    OBJ3
    0 references
    CafeOBJ
    0 references

    Identifiers

    zbMATH DE Number
    2043530
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4447234&oldid=28636340"
    Powered by MediaWiki