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
Nominal Automata with Name Binding - MaRDI portal

Nominal Automata with Name Binding (Q2988364)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Nominal Automata with Name Binding
scientific article

    Statements

    title
    Nominal Automata with Name Binding (English)
    0 references
    author
    Lutz Schröder
    0 references
    Dexter Kozen
    0 references
    Stefan Milius
    0 references
    Thorsten Wißmann
    0 references
    publication date
    19 May 2017
    0 references
    cites work
    Q5452362
    0 references
    Q4737206
    0 references
    Q2957477
    0 references
    Finite-memory automata
    0 references
    Q5472919
    0 references
    Walking on data words
    0 references
    Nominal Sets
    0 references

    Identifiers

    zbMATH DE Number
    6720987
    0 references
    OpenAlex ID
    W2295804767
    0 references
    arXiv ID
    1603.01455
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2988364&oldid=36322509"
    Powered by MediaWiki