Dynamically-typed computations for order-sorted equational presentations (Q4632447)

From MaRDI portal
Revision as of 03:19, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7048695
Language Label Description Also known as
English
Dynamically-typed computations for order-sorted equational presentations
scientific article; zbMATH DE number 7048695

    Statements

    Dynamically-typed computations for order-sorted equational presentations (English)
    0 references
    0 references
    0 references
    0 references
    29 April 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    critical pair
    0 references
    tree automaton
    0 references
    completion process
    0 references
    algebraic framework
    0 references
    variable declaration
    0 references
    0 references