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
Comorphisms of structured institutions - MaRDI portal

Comorphisms of structured institutions (Q2445331)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Comorphisms of structured institutions
scientific article

    Statements

    title
    Comorphisms of structured institutions (English)
    0 references
    author
    Ionuţ Ţuţu
    0 references
    publication date
    14 April 2014
    0 references
    zbMATH Keywords
    formal methods
    0 references
    specification languages
    0 references
    structured specifications
    0 references
    institution theory
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68Q65
    0 references
    03B70
    0 references
    03B40
    0 references
    68N30
    0 references
    zbMATH DE Number
    6284358
    0 references
    OpenAlex ID
    W190438537
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2445331&oldid=35383575"
    Powered by MediaWiki