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
Symbolic finite state transducers - MaRDI portal

Symbolic finite state transducers (Q2942866)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Symbolic finite state transducers
scientific article

    Statements

    title
    Symbolic finite state transducers (English)
    0 references
    author
    Margus Veanes
    0 references
    Pieter Hooimeijer
    0 references
    Benjamin Livshits
    0 references
    David Molnar
    0 references
    Nikolaj Bjørner
    0 references
    publication date
    11 September 2015
    0 references
    zbMATH Keywords
    SMT
    0 references
    automata
    0 references
    composition
    0 references
    equivalence
    0 references

    Identifiers

    zbMATH DE Number
    6481243
    0 references
    OpenAlex ID
    W4242157899
    0 references
    Wikidata QID
    Q131121021
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2942866&oldid=38767871"
    Powered by MediaWiki