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
The origins of structural operational semantics - MaRDI portal

The origins of structural operational semantics (Q1878710)

From MaRDI portal





scientific article; zbMATH DE number 2099284
Language Label Description Also known as
English
The origins of structural operational semantics
scientific article; zbMATH DE number 2099284

    Statements

    title
    The origins of structural operational semantics (English)
    0 references
    author
    Gordon D. Plotkin
    0 references
    publication date
    8 September 2004
    0 references
    zbMATH Keywords
    \(\lambda\)-calculus
    0 references
    formal systems
    0 references
    cites work
    Q4344071
    0 references
    Q3917476
    0 references
    Q3206309
    0 references
    Q3912568
    0 references
    Q3327701
    0 references
    Q3657414
    0 references
    Q3907039
    0 references
    Q3938462
    0 references
    Q4493874
    0 references
    Q4138147
    0 references
    Q5601834
    0 references
    Q5636311
    0 references
    Q5621937
    0 references
    Q3328540
    0 references
    Q5601829
    0 references
    Q5531462
    0 references
    Q5574395
    0 references
    Q3878737
    0 references
    Q4133080
    0 references
    Q3920613
    0 references
    Q3657409
    0 references
    Q3969890
    0 references
    Q3914393
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q55
    0 references
    68N18
    0 references
    68-03
    0 references
    zbMATH DE Number
    2099284
    0 references
    OpenAlex ID
    W2007809070
    0 references
     
    Retrieved from "https://mardi.schubotz.org/w/index.php?title=Item:Q1878710&oldid=43387897"
    Powered by MediaWiki