Structured theories and institutions (Q1884906)

From MaRDI portal





scientific article; zbMATH DE number 2110999
Language Label Description Also known as
English
Structured theories and institutions
scientific article; zbMATH DE number 2110999

    Statements

    Structured theories and institutions (English)
    0 references
    0 references
    0 references
    27 October 2004
    0 references
    Structured theories
    0 references
    Institutions
    0 references
    Maude
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers